Module Slicing.PrintSlice

module PrintSlice: sig .. end

val print_fct_stmts : Format.formatter -> Cil_types.kernel_function -> unit