This module contains definitions of global flags and types used throughout. They should be defined from the command-line and never modified afterwards.

Small wrapper on top of the stdlib Map module to add some useful functions

AST node annotations (used for position, type, etc.)

Interface for emitting compiler messages.

Source code position

Global identifiers factories using a generative functor

The implementation of this module is generated by the build system (through get_version.ml), and should only contain a static string