Objects of explicit type

Objects of explicit type are instances of an object type. Instances of object types obtain their structure and behavior from the object type.

Specification files and implementation files are not generated for objects of explicit type.

Instead, an external declaration is generated in the specification file for the package to which the object belongs. For example, the following declaration is generated for an object C of type B in the specification file for the package that owns C:

struct B;
extern struct B C;