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.