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.??.t -> 'a -> 'a) ->
Fct_slice.T.t_fct_slice -> Fct_slice.T.t_marks_index -> 'a -> 'a
val get_call_f_called :
Fct_slice.??.t_call_id -> Fct_slice.T.t_called_fct option
val get_call_sig : Fct_slice.??.t -> Fct_slice.Marks.t_sig_marks
val get_call_id : Fct_slice.??.t -> Fct_slice.??.t_call_id
val get_f_called : Fct_slice.??.t -> Fct_slice.T.t_called_fct option
val something_visible : Fct_slice.??.t -> bool
val some_visible_out : Fct_slice.??.t -> bool
val remove_called_by :
Fct_slice.T.t_project -> Fct_slice.??.t_call_id -> Fct_slice.??.t -> unit
val is_call_to_change :
Fct_slice.??.t -> 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