sig
  type call_id = SlicingInternals.fct_slice * Cil_types.stmt
  type t
  val get_info_call : Fct_slice.??.call_id -> Fct_slice.??.t
  val fold_calls :
    (Cil_types.stmt -> Fct_slice.??.-> '-> 'a) ->
    SlicingInternals.fct_slice -> SlicingInternals.marks_index -> '-> 'a
  val get_call_f_called :
    Fct_slice.??.call_id -> SlicingInternals.called_fct option
  val get_call_sig : Fct_slice.??.-> SlicingMarks.sig_marks
  val get_f_called : Fct_slice.??.-> SlicingInternals.called_fct option
  val something_visible : Fct_slice.??.-> bool
  val remove_called_by :
    SlicingInternals.project ->
    Fct_slice.??.call_id -> Fct_slice.??.-> unit
  val is_call_to_change :
    Fct_slice.??.-> SlicingInternals.called_fct option -> bool
  val change_call :
    SlicingInternals.project ->
    SlicingInternals.marks_index ->
    Fct_slice.??.call_id -> SlicingInternals.called_fct option -> unit
end