Smt.MakeHorn
module C : sig ... end
module S : Smtbackend.Smtlib_sig.Untyped_Muz
val translate : Transfer_functions.Term.boolean C.t -> Smtbackend.Smtlib_sig.sat