Pdg_types
module PdgIndex : module type of PdgIndex
This module can be useful to store some information about different elements of a function.
module PdgMarks : module type of PdgMarks
This module provides elements to mapped information (here called 'marks') to PDG elements and propagate it along the dependencies.
module PdgTypes : module type of PdgTypes
This module defines the types that are used to store the PDG of a function.