class printerClass :InheritsSlicingInternals.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