R1790

Summary

An Instance must have a name, or its type must be defined.

Details

Instances with neither name nor type cannot be distinguished from each other.

When an Instance specifies the type it instanciates, the name is optional.

Tips