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