Module `Term_based.Propagation`

val option_push_and_pop : bool

val option_push_and_pop_on_restart : bool

module Make
  (Terms : Terms.Sig.TERMS with type Condition.t = Cudd.bdd)
  (B : Single_value_abstraction.Sig.NUMERIC_ENUM) : 
  sig ... end

Module Term_based.Propagation