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