functor (C : PdgMarks.Config) ->
sig
type t
type mark = C.M.t
type call_info = C.M.call_info
type fct = (mark, call_info) PdgIndex.FctIndex.t
val empty : unit -> t
val find_marks : t -> Cil_types.varinfo -> fct option
val mark_and_propagate :
t -> PdgTypes.Pdg.t -> mark PdgMarks.select -> unit
end