class printerClass :InheritsFct_slice.t_fct_slice option ->
object
..end
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