module FO: sig .. end
sig
end
include LogtkFormula.S
val to_hoterm : t -> LogtkHOTerm.t
t -> LogtkHOTerm.t
val of_hoterm : LogtkHOTerm.t -> t option
LogtkHOTerm.t -> t option