Class PrintSlice.printerClass

class printerClass : SlicingInternals.fct_slice option -> object .. end

• Printer.extensible_printer

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