Module type PdgMarks.Proj

module type Proj = sig .. end
this is the type of the functor dedicated to interprocedural propagation. It is defined in PDG plugin

type t 
type mark 
type 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