company logo

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