sig
  module Mode :
    sig
      type t = Mixfix | Prefix | Sexpr
      val to_string : Pretty.Mode.t -> string
      val of_string : string -> Pretty.Mode.t
    end
  val flag : Pretty.Mode.t Pervasives.ref
  type 'a printer = Format.formatter -> 'a -> unit
  val unit : unit Pretty.printer
  val string : string Pretty.printer
  val number : int Pretty.printer
  val option : 'a Pretty.printer -> 'a option Pretty.printer
  val bool : bool Pretty.printer
  val three : Three.t Pretty.printer
  val list : 'a Pretty.printer -> 'a list Pretty.printer
  val pair :
    'a Pretty.printer -> 'b Pretty.printer -> ('a * 'b) Pretty.printer
  val triple :
    'a Pretty.printer ->
    'b Pretty.printer -> 'c Pretty.printer -> ('a * 'b * 'c) Pretty.printer
  val infix :
    'a Pretty.printer ->
    string -> 'b Pretty.printer -> ('a * 'b) Pretty.printer
  val mixfix :
    string ->
    'a Pretty.printer ->
    string ->
    'b Pretty.printer ->
    string -> 'c Pretty.printer -> string -> ('a * 'b * 'c) Pretty.printer
  val post : 'a Pretty.printer -> ('a * string) Pretty.printer
  val infixl : 'a Pretty.printer -> string -> 'a list Pretty.printer
  val apply : 'a Pretty.printer -> (string * 'a list) Pretty.printer
  val set : 'a Pretty.printer -> 'a list Pretty.printer
  val map :
    'a Pretty.printer -> 'b Pretty.printer -> ('a * 'b) list Pretty.printer
  val to_stdout : 'a Pretty.printer -> 'a -> unit
  val to_stderr : 'a Pretty.printer -> 'a -> unit
  val to_string : 'a Pretty.printer -> 'a -> string
end