Module type LogtkInterfaces.PRINT_DE_BRUIJN

module type PRINT_DE_BRUIJN = sig .. end

type t 
type term 
type print_hook = int ->
(Buffer.t -> term -> unit) ->
Buffer.t -> 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 -> Buffer.t -> t -> unit