object
  method dBlock : out_channel -> int -> block -> unit
  method dGlobal : out_channel -> global -> unit
  method dInit : out_channel -> int -> init -> unit
  method dStmt : out_channel -> int -> stmt -> unit
  method getPrintInstrTerminator : unit -> string
  method pAttr : attribute -> Pretty.doc * bool
  method pAttrParam : unit -> attrparam -> Pretty.doc
  method pAttrs : unit -> attributes -> Pretty.doc
  method pBlock : unit -> block -> Pretty.doc
  method pExp : unit -> exp -> Pretty.doc
  method pFieldDecl : unit -> fieldinfo -> Pretty.doc
  method pGlobal : unit -> global -> Pretty.doc
  method pInit : unit -> init -> Pretty.doc
  method pInstr : unit -> instr -> Pretty.doc
  method pLabel : unit -> label -> Pretty.doc
  method pLineDirective : ?forcefile:bool -> location -> Pretty.doc
  method pLval : unit -> lval -> Pretty.doc
  method pOffset : Pretty.doc -> offset -> Pretty.doc
  method pStmt : unit -> stmt -> Pretty.doc
  method pStmtKind : stmt -> unit -> stmtkind -> Pretty.doc
  method pTemps : unit -> Pretty.doc
  method pType : Pretty.doc option -> unit -> typ -> Pretty.doc
  method pVDecl : unit -> varinfo -> Pretty.doc
  method pVar : varinfo -> Pretty.doc
  method setCurrentFormals : varinfo list -> unit
  method setPrintInstrTerminator : string -> unit
  method startTemps : unit -> unit
  method stopTemps : unit -> unit
end