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