Domains.Domains_constraints_constraint_propagation
module Make
(Constraints :
Constraints.Constraints_sig.Constraints
with type Condition.t = Cudd.Man.d Cudd.Bdd.t)
(B : Single_value_abstraction.Sig.Binary_Integer_Basis) :
sig ... end