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