Module Antimirov

module Antimirov: sig .. end
Antimirov' partial derivatives for symbolic KAT expressions

val deriv : Kat.expr'_set Kat.mem -> Kat.expr' -> Kat.expr'_set Kat.node Kat.span
partial derivatives
val nfa : unit ->
(Kat.expr', Kat.expr'_set, Kat.var, Bdd.key, Bdd.formula) Automata.snfa
corresponding symbolic NFA
val split : Kat.expr' -> Kat.expr'_set
split a sum into a set of expressions