Module Condition.MakeConditionMapMTBDD

Parameters

module Lattice : sig ... end

Signature

module Maybe_Lattice : sig ... end
module MTBDD : sig ... end
type value = Lattice.t
module L = Lattice
module Cond = ConditionMy
type t = MTBDD.t
val find : MTBDD.t -> Bed.BDD.bdd -> Lattice.t
val pretty : Stdlib.Format.formatter -> MTBDD.t -> unit
val refine : MTBDD.t -> cond:Cond.bdd -> ?notcond:Cond.bdd -> Lattice.t -> MTBDD.t
val create : 'a -> 'b
val create_partial : MTBDD.t