sig
  type 'a printers = { marked : 'a Pp.pp; closed : 'a Pp.pp; }
  val pp_pattern : attr:bool -> Ptree.pattern Mlw_printer.printers
  val pp_expr : attr:bool -> Ptree.expr Mlw_printer.printers
  val pp_term : attr:bool -> Ptree.term Mlw_printer.printers
  val pp_pty : attr:bool -> Ptree.pty Mlw_printer.printers
  val pp_decl : ?attr:bool -> Ptree.decl Pp.pp
  val pp_mlw_file : ?attr:bool -> Ptree.mlw_file Pp.pp
  val next_pos : unit -> Loc.position
  val with_marker : ?msg:string -> Loc.position -> 'a Pp.pp -> 'a Pp.pp
  val id_loc : unit -> Loc.position
  val is_id_loc : Loc.position -> bool
end