Module Smt.MakeFirstOrder

Parameters

module T : Sig.TERMS

module S : Smtbackend.Smtlib_sig.UNTYPED_S

Signature

val translate : Operator.Function_symbol.boolean T.t -> Smtbackend.Smtlib_sig.sat