Module Catala_utilsSource

Sourcemodule Cli : sig ... end
Sourcemodule File : sig ... end
Sourcemodule Global : sig ... end

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

Sourcemodule Map : sig ... end

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

Sourcemodule Mark : sig ... end

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

Sourcemodule Message : sig ... end

Interface for emitting compiler messages.

Sourcemodule Pos : sig ... end

Source code position

Sourcemodule String : sig ... end
Sourcemodule Suggestions : sig ... end
Sourcemodule Uid : sig ... end

Global identifiers factories using a generative functor

Sourcemodule Version : sig ... end

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