Module Condition.MakeConditionMapMTBDDSource

Parameters

module Lattice : sig ... end

Signature

Sourcemodule Maybe_Lattice : sig ... end
Sourcemodule MTBDD : sig ... end
Sourcetype value = Lattice.t
Sourcemodule L = Lattice
Sourcemodule Cond = ConditionMy
Sourcetype t = MTBDD.t
Sourceval pretty : Format.formatter -> MTBDD.t -> unit
Sourceval refine : MTBDD.t -> cond:Cond.bdd -> ?notcond:Cond.bdd -> Lattice.t -> MTBDD.t
Sourceval create : 'a -> 'b
Sourceval create_partial : MTBDD.t