Class PrintSlice.printerClass


class printerClass : Fct_slice.t_fct_slice option -> object .. end
Inherits
val opt_ff : Fct_slice.t_fct_slice option
method pVDecl : Format.formatter -> Cil_types.varinfo -> unit
method pStmtKind : Cil_types.stmt -> Format.formatter -> Cil_types.stmtkind -> unit
method pLabel : Format.formatter -> Cil_types.label -> unit