The Java type model

A type model consists of a number of language-defined types and operators, plus facilities for constructing user-defined types. The model is defined primarily with OIL, but this section also contains some LIDO computations.

Type.oil[4]:

Primitive types[5]
Reference types[9]
void[13]

This macro is attached to a product file.