Up
Index of module types
C
Config
[
PdgMarks
]
F
Fct
[
PdgMarks
]
M
Mark
[
PdgMarks
]
Signature of the module to use in order to instanciate the computation
P
Proj
[
PdgMarks
]
this is the type of the functor dedicated to interprocedural propagation.