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