A
type expression is an
expression that, when evaluated,
yields a
type. Primarily,
type-checking in the
jpra language
is concerned with evaluating
type
and
size expressions
to yield base types that can then be used to generate code. All
types have a size that is known statically, and the documentation
for each type of expression indicates how this is calculated.