`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`