Module Domains.Domains_constraints_constraint_propagation

val option_push_and_pop : bool
val option_push_and_pop_on_restart : bool