functor (C : PdgMarks.T_Config) ->
sig
type t = Marks.F_Proj(C).t
type t_mark = C.M.t
type t_call_info = C.M.t_call_info
type t_fct = (t_mark, t_call_info) PdgIndex.FctIndex.t
val empty : t
val find_marks : t -> Cil_types.varinfo -> t_fct option
val mark_and_propagate :
t -> PdgTypes.Pdg.t -> t_mark PdgMarks.t_select -> unit
end