sig
val reset_slicing : unit -> unit
val is_called : Cil_types.kernel_function -> bool
val has_persistent_selection : Cil_types.kernel_function -> bool
val change_slicing_level : Cil_types.kernel_function -> int -> unit
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_directly_called_internal : Cil_types.kernel_function -> bool
val print_dot : filename:string -> title:string -> unit
val pretty : Stdlib.Format.formatter -> unit
end