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