Module LogtkFormula.FO

module FO: sig .. end

include LogtkFormula.S

Conversion to higher-order term

val to_hoterm : t -> LogtkHOTerm.t

val of_hoterm : LogtkHOTerm.t -> t option