---

6.11 Module expressions (module implementations)

Module expressions are the module-level equivalent of value expressions: they evaluate to modules, thus providing implementations for the specifications expressed in module types.

module-expr	::=	module-path
	|	struct { definition  [;;] } end
	|	functor ( module-name :  module-type ) ->  module-expr
	|	module-expr (  module-expr )
	|	( module-expr )
	|	( module-expr :  module-type )
definition	::=	let [rec] let-binding  { and let-binding }
	|	external value-name :  typexpr =  external-declaration