object
  method compact : PPrintEngine.output -> unit
  method pretty :
    PPrintEngine.output -> PPrintEngine.state -> int -> bool -> unit
  method requirement : PPrintEngine.requirement
end