sig
val apply_all : propagate_to_callers:bool -> unit
val apply_all_internal : unit -> unit
val apply_next_internal : unit -> unit
val propagate_user_marks : unit -> unit
val copy_slice : Api.Slice.t -> Api.Slice.t
val split_slice : Api.Slice.t -> Api.Slice.t list
val merge_slices :
Api.Slice.t -> Api.Slice.t -> replace:bool -> Api.Slice.t
val add_call_slice : caller:Api.Slice.t -> to_call:Api.Slice.t -> unit
val add_call_fun :
caller:Api.Slice.t -> to_call:Cil_types.kernel_function -> unit
val add_call_min_fun :
caller:Api.Slice.t -> to_call:Cil_types.kernel_function -> unit
val add_selection : Api.Select.set -> unit
val add_persistent_selection : Api.Select.set -> unit
val add_persistent_cmdline : unit -> unit
val is_request_empty_internal : unit -> bool
val add_slice_selection_internal : Api.Slice.t -> Api.Select.t -> unit
val add_selection_internal : Api.Select.t -> unit
val pretty : Stdlib.Format.formatter -> unit
end