sig
  type t
  type mark
  type call_info
  type fct =
      (PdgMarks.Proj.mark, PdgMarks.Proj.call_info) PdgIndex.FctIndex.t
  val empty : unit -> PdgMarks.Proj.t
  val find_marks :
    PdgMarks.Proj.t -> Cil_types.varinfo -> PdgMarks.Proj.fct option
  val mark_and_propagate :
    PdgMarks.Proj.t ->
    PdgTypes.Pdg.t -> PdgMarks.Proj.mark PdgMarks.select -> unit
end