sig
  val deriv :
    Kat.expr'_set Kat.mem -> Kat.expr' -> Kat.expr'_set Kat.node Kat.span
  val nfa :
    unit ->
    (Kat.expr', Kat.expr'_set, Kat.var, Bdd.key, Bdd.formula) Automata.snfa
  val split : Kat.expr' -> Kat.expr'_set
end