Module definition
Keywords: module
A module definition is either a module declaration or a list of namespace elements. Namespace definitions do not require a module frame, which makes it easier to update namespace definitions.
Definition:
mod_definition := module_dcl | ns_elements