MTBDD_Make.With_Set
module TerminalSet : sig ... end
val add : t -> BDD.bdd -> Terminal.t -> t
val update : t -> BDD.bdd -> (Terminal.t -> Terminal.t) -> t
val find : t -> BDD.bdd -> TerminalSet.t