company logo

Scoped name extension

Scoped name extensions are separated from the previous name by '::'.

Definition: 

scope_ext := scope_op identifier