Module implementation

3.12 Module implementation

implementation	::=	{ impl-phrase [ `;;` ] }

impl-phrase	::=	value-definition
	\|	type-definition
	\|	`open` module-name

value-definition	::=	`let` [ `rec`] let-binding { `and` let-binding } [ `;` ]

A module implementation consists in a sequence of implementation phrases. An implementation phrase either opens a module, is a type definition or is a sequence of definitions.

The instruction open modifies the list of opened modules by adding the module name to the list of opened modules, in first position.
The type definition defines the type for the implementation phrases following the definition.
The value definition defines some global values.