Language Reference/Namespaces

Language Reference
Basic Concepts Lexical Elements Compilation Units Interfaces Classes Implementations Objects and Polymorphism Generic Interfaces and Classes Bounded polymorphism Monitors Namespaces Program Sections Domains Constants Predicates Suspending Predicates Properties Facts Clauses Terms Conversion Exception Handling Built-in entities Directives Attributes

NamespaceDeclaration :
   namespace NamespaceIdentifier

NamespaceIdentifier: one of
   <backslashSeparatedIdentifier>
   \ <backslashSeparatedIdentifier>

<backslashSeparatedIdentifier>: one of
   <lowercaseIdentifier>
   <lowercaseIdentifier> \ <backslashSeparatedIdentifier>