module Epsilon: sig .. end
sig
end
val remove : 'v Automata.senfa -> (int, Common.int_set, 'v, Bdd.key, Bdd.formula) Automata.snfa
'v Automata.senfa -> (int, Common.int_set, 'v, Bdd.key, Bdd.formula) Automata.snfa