company logo

Namespace definition

A namespace definition is either a namespace declaration or a list of type elements for user-defined types. Type definitions do not require a namespace frame, which makes it easier to update type definitions.

Definition: 

ns_definition := namespace_dcl | odl_elements