package logtk

  1. Overview
  2. Docs
On This Page
  1. Basic types
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Interfaces.PRINT_DE_BRUIJN with type term := t and type t := t
type print_hook = int -> t CCFormat.printer -> Format.formatter -> t -> bool

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 -> t CCFormat.printer
include Interfaces.PRINT with type t := t
val to_string : t -> string
val pp_typed_var : t HVar.t CCFormat.printer
val pp_ho : CCFormat.t -> t -> unit

Basic types

val i : t

individuals

val o : t

propositions

val int : t

integers

val rat : t

rationals

val real : t

reals