Module Normalize_predicate

module Normalize_predicate: sig .. end

val apply_smt_natural_cond_recovery : Dba.binary_op list -> Dba.cond -> Dba.expr -> Dba.expr -> Dba.expr option