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