Specification

This section describes the specification of data types.