sig
  type t = SlicingTypes.sl_fct_slice
  val dyn_t : SlicingTypes.Sl_fct_slice.t Type.t
  val create : Kernel_function.t -> SlicingTypes.Sl_fct_slice.t
  val remove : SlicingTypes.Sl_fct_slice.t -> unit
  val remove_uncalled : unit -> unit
  val get_all : Kernel_function.t -> SlicingInternals.fct_slice list
  val get_function : SlicingInternals.fct_slice -> Cil_types.kernel_function
  val get_callers :
    SlicingInternals.fct_slice -> SlicingInternals.fct_slice list
  val get_called_slice :
    SlicingInternals.fct_slice ->
    Cil_types.stmt -> SlicingInternals.fct_slice option
  val get_called_funcs :
    SlicingInternals.fct_slice ->
    Cil_types.stmt -> Kernel_function.Hptset.elt list
  val get_mark_from_stmt :
    SlicingInternals.fct_slice -> Cil_types.stmt -> SlicingInternals.pdg_mark
  val get_mark_from_label :
    SlicingInternals.fct_slice ->
    Cil_types.stmt -> Cil_types.label -> SlicingInternals.pdg_mark
  val get_mark_from_local_var :
    SlicingInternals.fct_slice ->
    Cil_types.varinfo -> SlicingInternals.pdg_mark
  val get_mark_from_formal :
    SlicingInternals.fct_slice ->
    Cil_datatype.Varinfo.t -> SlicingInternals.pdg_mark
  val get_user_mark_from_inputs :
    SlicingInternals.fct_slice -> SlicingInternals.pdg_mark
  val get_num_id : SlicingInternals.fct_slice -> int
  val from_num_id : Kernel_function.t -> int -> SlicingInternals.fct_slice
  val pretty : Stdlib.Format.formatter -> SlicingInternals.fct_slice -> unit
end