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