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