Type Analysis

Type analysis assigns a type to every value in the program.

Type.lido[1]:

ATTR Type: DefTableKey; /* C type associated with every value */

Create standard pointer types[6]
Associate types with identifiers[30]
Declaration specifiers[34]
Relationships among types[47]
Operator identification[53]

This macro is attached to a product file.

Type.pdl[2]:

Define keys, properties, and access functions[48]

This macro is attached to a product file.

Type.specs[3]:

Instantiate modules[29]

This macro is attached to a product file.