AltErgoLib.Satml_intf
type conflict_origin =
| C_none
| C_bool of Satml_types.Atom.clause
| C_theory of Explanation.t
module type SAT_ML = sig ... end