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