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