Module LogtkFormula

module LogtkFormula: sig .. end

First-order LogtkFormulas

LogtkHashconsed formulas for first-order logic. This provides many useful functions, and smart constructors that perform some basic simplifications

TODO: attributes, to speed up simplification/flattening/closeness checking

type symbol = LogtkSymbol.t 
type type_ = LogtkType.t 
module type S = sig .. end
module type TERM = sig .. end
module Make (MyT : TERM) : S 
  with type term = MyT.t
  and type term_set = MyT.Set.t
module FO: sig .. end
module Map (From : S)  (To : S) : sig .. end
Functor to translate terms