MakeConditionMapMTBDD.MTBDD
module Terminal = Maybe_Lattice
include sig ... end
type t = Maybe_Lattice.t Bed.mtbdd
val terminal : Maybe_Lattice.t -> t
val hash : 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