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 : SlicingTypes.Sl_fct_slice.t -> SlicingTypes.Sl_fct_slice.t
  val split_slice :
    SlicingTypes.Sl_fct_slice.t -> SlicingTypes.Sl_fct_slice.t list
  val merge_slices :
    SlicingTypes.Sl_fct_slice.t ->
    SlicingTypes.Sl_fct_slice.t ->
    replace:bool -> SlicingTypes.Sl_fct_slice.t
  val add_call_slice :
    caller:SlicingTypes.Sl_fct_slice.t ->
    to_call:SlicingTypes.Sl_fct_slice.t -> unit
  val add_call_fun :
    caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
  val add_call_min_fun :
    caller:SlicingTypes.Sl_fct_slice.t -> to_call:Kernel_function.t -> unit
  val add_selection : Api.Select.S.t -> unit
  val add_persistent_selection : Api.Select.S.t -> unit
  val add_persistent_cmdline : unit -> unit
  val is_request_empty_internal : unit -> bool
  val add_slice_selection_internal :
    SlicingInternals.fct_slice ->
    Cil_datatype.Varinfo.t * SlicingInternals.fct_user_crit -> unit
  val add_selection_internal :
    Cil_datatype.Varinfo.t * SlicingInternals.fct_user_crit -> unit
  val pretty : Format.formatter -> unit
end