Functor Marks.F_Proj

module F_Proj: 
functor (C : PdgMarks.Config-> Proj with type mark = C.M.t and type call_info = C.M.call_info

To also use interprocedural propagation, the user can instantiate this functor. This is, of course, not mandatory because one can want to use a more complex propagation (like slicing for instance, that has more than one version for a source function).

Parameters:
C : PdgMarks.Config