sig
val default_slice_names :
Cil_types.kernel_function -> bool -> int -> string
val reset_slicing : unit -> unit
val extract :
?f_slice_names:(Kernel_function.t -> bool -> int -> string) ->
string -> Project.t
val print_dot : filename:string -> title:string -> unit
val change_slicing_level : Kernel_function.t -> int -> unit
val is_directly_called_internal : Kernel_function.t -> bool
val is_called : Cil_types.kernel_function -> bool
val has_persistent_selection : Kernel_function.t -> bool
val pretty : Stdlib.Format.formatter -> unit
end