package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = private LogtkScopedTerm.tval of_term : LogtkScopedTerm.t -> t optionval of_term_exn : LogtkScopedTerm.t -> tval size : t -> intval kind : LogtkScopedTerm.Kind.tinclude LogtkInterfaces.HASH with type t := t
include LogtkInterfaces.EQ with type t := t
val hash_fun : t CCHash.hash_funval hash : t -> intinclude LogtkInterfaces.ORD with type t := t
module Seq : sig ... endmodule Set : Sequence.Set.S with type elt = tval to_prolog : ?depth:int -> t -> LogtkPrologTerm.tinclude LogtkInterfaces.PRINT_DE_BRUIJN with type t := t and type term := t
User-provided hook that can be used to print terms (for composite cases) before the default printing occurs. The int argument is the De Bruijn depth in the term. A hook takes as arguments the depth and the recursive printing function that it can use to print subterms. A hook should return true if it fired, false to fall back on the default printing.
val pp_depth : ?hooks:print_hook list -> int -> Buffer.t -> t -> unitval default_hooks : unit -> print_hook listmodule TPTP : sig ... end