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