| Previous | Table of Contents | Next |
There are several kinds of value type declarations: “regular? value types, boxed value types, abstract value types, and forward
declarations.
A value declaration satisfies the following syntax:
(13) <value> ::= ( <value_dcl> | <value_abs_dcl> | <value_box_dcl> | <value_forward_dcl>)