sig
type t_mark
type t_call_info
type t_fi =
(PdgMarks.T_Fct.t_mark, PdgMarks.T_Fct.t_call_info) PdgIndex.FctIndex.t
type t = PdgTypes.Pdg.t * PdgMarks.T_Fct.t_fi
val create : PdgTypes.Pdg.t -> PdgMarks.T_Fct.t
val get_idx : PdgMarks.T_Fct.t -> PdgMarks.T_Fct.t_fi
type t_mark_info_inter = PdgMarks.T_Fct.t_mark PdgMarks.t_info_inter
val empty_to_prop : PdgMarks.T_Fct.t_mark_info_inter
val mark_and_propagate :
PdgMarks.T_Fct.t ->
?to_prop:PdgMarks.T_Fct.t_mark_info_inter ->
PdgMarks.T_Fct.t_mark PdgMarks.t_select ->
PdgMarks.T_Fct.t_mark_info_inter
end