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