sig
type t
type term
type print_hook =
int ->
Interfaces.PRINT_DE_BRUIJN.term CCFormat.printer ->
Format.formatter -> Interfaces.PRINT_DE_BRUIJN.term -> bool
val pp_depth :
?hooks:Interfaces.PRINT_DE_BRUIJN.print_hook list ->
int -> Interfaces.PRINT_DE_BRUIJN.t CCFormat.printer
end