序数类型

序数类型有以下特征:

• 序数类型是可数的和有序的。因而允许使用如 inc, ord, dec 等函数，来操作已定义的序数类型。
• 序数类型具有最小可使用值，可以通过 low(type) 获取。尝试从最小值继续减小，会产生 panic 或静态错误。
• 序数类型具有最大可使用值，可以通过 high(type) 获取。尝试从最大值继续增大，会产生 panic 或静态错误。

整数、bool、字符和枚举类型(以及这些类型的子范围)属于序数类型。

如果 distinct 类型的基类型是序数类型，则 distinct 类型也为序数类型。