Module Logtk.Formula (.ml)

module Formula: LogtkFormula

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