Module MakeConditionMapMTBDD.MTBDD

module Terminal = Maybe_Lattice
include sig ... end
val terminal : Maybe_Lattice.t -> t
val mk : int -> t -> t -> t
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val map1 : (Maybe_Lattice.t -> Maybe_Lattice.t) -> t -> t
val map2 : (Maybe_Lattice.t -> Maybe_Lattice.t -> Maybe_Lattice.t) -> t -> t -> t
val all : (Maybe_Lattice.t -> bool) -> t -> Bed.BDD.t
module With_Set (TerminalSet : sig ... end) : sig ... end
include 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 -> Lattice.t