sig
type mark
type call_info
type fi = (PdgMarks.Fct.mark, PdgMarks.Fct.call_info) PdgIndex.FctIndex.t
type t = PdgTypes.Pdg.t * PdgMarks.Fct.fi
val create : PdgTypes.Pdg.t -> PdgMarks.Fct.t
val get_idx : PdgMarks.Fct.t -> PdgMarks.Fct.fi
type mark_info_inter = PdgMarks.Fct.mark PdgMarks.info_inter
val empty_to_prop : PdgMarks.Fct.mark_info_inter
val mark_and_propagate :
PdgMarks.Fct.t ->
?to_prop:PdgMarks.Fct.mark_info_inter ->
PdgMarks.Fct.mark PdgMarks.select -> PdgMarks.Fct.mark_info_inter
end