2.4.2 Constants

If id is an identifier, T a type, and C a constant expression, then:

    CONST id: T = C

declares id as a constant with the type T and the value of C. The ``: T'' can be omitted, in which case the type of id is the type of C. If T is present it must contain C.