Module type LogtkFormula.TERM

module type TERM = sig .. end

type t = private LogtkScopedTerm.t 
val of_term : LogtkScopedTerm.t -> t option
val of_term_exn : LogtkScopedTerm.t -> t
val ty : t -> LogtkFormula.type_
val size : t -> int
val kind : LogtkScopedTerm.Kind.t
include LogtkInterfaces.HASH
include LogtkInterfaces.ORD
module Seq: sig .. end
module Set: Sequence.Set.S  with type elt = t
val to_prolog : ?depth:int -> t -> LogtkPrologTerm.t
include LogtkInterfaces.PRINT_DE_BRUIJN
val default_hooks : unit -> print_hook list
module TPTP: sig .. end