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).