Index of module types


C
Config [PdgMarks]

F
Fct [PdgMarks]

M
Mark [PdgMarks]
Signature of the module to use in order to instantiate the computation

P
Proj [PdgMarks]
this is the type of the functor dedicated to interprocedural propagation.