UtilsLib.IdGeneratorSourceThis module implements various useful modules to generate IDs and to keep track of there association with string as in a symbol table
Log is the log module for IdGenerator
Signature of modules encoding symbol tables
Signature of modules encoding a generator of identifiers
This module is a functor that generates a identifier generator from a module implementing these identifiers
Module implementing the special case where identifiers ar integers.