Module Smt.MakeHorn

Parameters

module T : Sig.TERMS

module S : Smtbackend.Smtlib_sig.UNTYPED_MUZ

Signature

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