Marks.F_Proj
module C : Pdg_types.PdgMarks.Config
type mark = C.M.t
type call_info = C.M.call_info
type fct = ( mark, call_info ) Pdg_types.PdgIndex.FctIndex.t
val empty : unit -> t
val find_marks : t -> Frama_c_kernel.Cil_types.varinfo -> fct option
val mark_and_propagate :
t ->
Pdg_types.PdgTypes.Pdg.t ->
mark Pdg_types.PdgMarks.select ->
unit