Class PrintSlice.printerClass

class printerClass : SlicingInternals.fct_slice option -> object .. end
Inherits
val opt_ff : SlicingInternals.fct_slice option
method vdecl : Format.formatter -> Cil_types.varinfo -> unit
method stmtkind : Cil_types.stmt -> Format.formatter -> Cil_types.stmtkind -> unit
method label : Format.formatter -> Cil_types.label -> unit
method private require_braces : ?has_annot:bool -> Cil_types.block -> bool