sig
  type t
  type t_call_id = Fct_slice.T.t_fct_slice * Fct_slice.T.t_call_id
  val get_info_call : Fct_slice.??.t_call_id -> Fct_slice.??.t
  val fold_calls :
    (Fct_slice.T.t_call_id -> Fct_slice.??.-> '-> 'a) ->
    Fct_slice.T.t_fct_slice -> Fct_slice.T.t_marks_index -> '-> 'a
  val get_call_f_called :
    Fct_slice.??.t_call_id -> Fct_slice.T.t_called_fct option
  val get_call_sig : Fct_slice.??.-> Fct_slice.Marks.t_sig_marks
  val get_call_id : Fct_slice.??.-> Fct_slice.??.t_call_id
  val get_f_called : Fct_slice.??.-> Fct_slice.T.t_called_fct option
  val something_visible : Fct_slice.??.-> bool
  val some_visible_out : Fct_slice.??.-> bool
  val remove_called_by :
    Fct_slice.T.t_project -> Fct_slice.??.t_call_id -> Fct_slice.??.-> unit
  val is_call_to_change :
    Fct_slice.??.-> Fct_slice.T.t_called_fct option -> bool
  val change_call :
    Fct_slice.T.t_project ->
    Fct_slice.T.t_marks_index ->
    Fct_slice.??.t_call_id -> Fct_slice.T.t_called_fct option -> unit
end