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