module PdgIndex:sig
..end
PdgIndex.Signature
is used to store information
about function inputs/outputs either for the function itself or for its
calls. PdgIndex.Key
provides keys to identify the different
elements we want to speak about. PdgIndex.FctIndex
is the main
object that manages the stored information.
This module is used for instance to store the relation between a function
elements and the nodes of its PDG, but it can also be used to store many
other things.
exception AddError
exception CallStatement
exception Not_equal
module Signature:sig
..end
Signature
a mapping between keys that represent either a
function input or output, and some information.
module Key:sig
..end
module FctIndex:sig
..end