Index of module types
T
T_Config
[
PdgMarks
]
T_Fct
[
PdgMarks
]
T_Mark
[
PdgMarks
]
Type of the module that the user has to provide to describe the marks.
T_Proj
[
PdgMarks
]
this is the type of the functor dedicated to interprocedural propagation.