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