sig type t val pp : Format.formatter -> Pretty_printer.S.t -> unit end