Module MakeConditionMapMTBDD.MTBDD

module Terminal = Maybe_Lattice

include sig ... end

type t = Maybe_Lattice.t Bed.mtbdd

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