sig
val default_slice_names :
Cil_types.kernel_function -> bool -> int -> string
val extract :
f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
string -> Project.t
val is_src_fun_called : Cil_types.kernel_function -> bool
val is_src_fun_visible : Cil_types.kernel_function -> bool
end