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.