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