sig
  type t
  type t_mark
  type t_call_info
  type t_fct =
      (PdgMarks.T_Proj.t_mark, PdgMarks.T_Proj.t_call_info)
      PdgIndex.FctIndex.t
  val empty : PdgMarks.T_Proj.t
  val find_marks :
    PdgMarks.T_Proj.t -> Cil_types.varinfo -> PdgMarks.T_Proj.t_fct option
  val mark_and_propagate :
    PdgMarks.T_Proj.t ->
    PdgTypes.Pdg.t -> PdgMarks.T_Proj.t_mark PdgMarks.t_select -> unit
end