module type PRINT_DE_BRUIJN = sig
.. end
type
t
type
term
type
print_hook = int ->
term CCFormat.printer ->
Format.formatter -> term -> 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