Index of module types

C
Config [PdgMarks]
F
Fct [PdgMarks]
M
Mark [PdgMarks]

Signature of the module to use in order to instantiate the computation

P
Proj [PdgMarks]

this is the type of the functor dedicated to interprocedural propagation.