sig
  type t = SlicingTypes.sl_fct_slice
  val dyn_t : Db.Slicing.Slice.t Type.t
  val create :
    (Db.Slicing.Project.t -> Cil_types.kernel_function -> Db.Slicing.Slice.t)
    Pervasives.ref
  val remove :
    (Db.Slicing.Project.t -> Db.Slicing.Slice.t -> unit) Pervasives.ref
  val remove_uncalled : (Db.Slicing.Project.t -> unit) Pervasives.ref
  val get_all :
    (Db.Slicing.Project.t ->
     Cil_types.kernel_function -> Db.Slicing.Slice.t list)
    Pervasives.ref
  val get_function :
    (Db.Slicing.Slice.t -> Cil_types.kernel_function) Pervasives.ref
  val get_callers :
    (Db.Slicing.Slice.t -> Db.Slicing.Slice.t list) Pervasives.ref
  val get_called_slice :
    (Db.Slicing.Slice.t -> Cil_types.stmt -> Db.Slicing.Slice.t option)
    Pervasives.ref
  val get_called_funcs :
    (Db.Slicing.Slice.t -> Cil_types.stmt -> Cil_types.kernel_function list)
    Pervasives.ref
  val get_mark_from_stmt :
    (Db.Slicing.Slice.t -> Cil_types.stmt -> Db.Slicing.Mark.t)
    Pervasives.ref
  val get_mark_from_label :
    (Db.Slicing.Slice.t ->
     Cil_types.stmt -> Cil_types.label -> Db.Slicing.Mark.t)
    Pervasives.ref
  val get_mark_from_local_var :
    (Db.Slicing.Slice.t -> Cil_types.varinfo -> Db.Slicing.Mark.t)
    Pervasives.ref
  val get_mark_from_formal :
    (Db.Slicing.Slice.t -> Cil_types.varinfo -> Db.Slicing.Mark.t)
    Pervasives.ref
  val get_user_mark_from_inputs :
    (Db.Slicing.Slice.t -> Db.Slicing.Mark.t) Pervasives.ref
  val get_num_id : (Db.Slicing.Slice.t -> int) Pervasives.ref
  val from_num_id :
    (Db.Slicing.Project.t ->
     Cil_types.kernel_function -> int -> Db.Slicing.Slice.t)
    Pervasives.ref
  val pretty :
    (Format.formatter -> Db.Slicing.Slice.t -> unit) Pervasives.ref
end