This modules implements a functor that build an environment containing signatures and lexicons when provided with to actual implementations of a signature and a lexicon

This module gives some types and some utilities to mange, emit and display messages

This module signature describes the interface for modules implementing signatures