include Interfaces.PRINT_DE_BRUIJN with type term := t and type t := ttype print_hook =
int ->
t CCFormat.printer ->
Stdlib.Format.formatter ->
t ->
boolUser-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.printerval pp_typed_var : t HVar.t CCFormat.printerval pp_ho : CCFormat.t -> t -> unitval i : tindividuals
val o : tpropositions
val int : tintegers
val rat : trationals
val real : treals