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 -> Db.Slicing.Project.t -> Project.t
val is_src_fun_called :
Db.Slicing.Project.t -> Cil_types.kernel_function -> bool
val is_src_fun_visible :
Db.Slicing.Project.t -> Cil_types.kernel_function -> bool
end