Conventions

For easy reference, the modules are listed below in alphabetical order
of module names.
For each module, the declarations from its interface file are printed
one by one in typewriter font, followed by a short comment.
All modules and the identifiers they export are indexed at the end of
this report.