Module Constraints.Smt

module MakeFirstOrder (C : sig ... end) (S : Smtbackend.Smtlib_sig.Untyped_S) : sig ... end
module MakeHorn (C : sig ... end) (S : Smtbackend.Smtlib_sig.Untyped_Muz) : sig ... end