MTBDD.With_Set
module TerminalSet : sig ... end
val add : t -> Bed.BDD.bdd -> Maybe_Lattice.t -> t
val update : t -> Bed.BDD.bdd -> (Maybe_Lattice.t -> Maybe_Lattice.t) -> t
val find : t -> Bed.BDD.bdd -> TerminalSet.t