Module type PdgMarks.T_Proj


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

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