module type Proj =sig
..end
type
t
type
mark
type
call_info
typefct =
(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