Up
Index of module types
C
Config
[
PdgMarks
]
F
Fct
[
PdgMarks
]
M
Mark
[
PdgMarks
]
Type of the module that the user has to provide to describe the marks.
P
Proj
[
PdgMarks
]
this is the type of the functor dedicated to interprocedural propagation.