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