序数类型

序数类型有以下特征：

• 序数类型是可数和有序的。该属性允许定义函数的操作 inc, ord, dec 。
• 序数值具有最小可能值。尝试进一步向下计数低于最小值会产生已检查的运行时或静态错误。
• 序数值具有最大可能值。尝试计数超过最大值会产生已检查的运行时或静态错误。整数，bool，字符和枚举类型（以及这些类型的子范围）属于序数类型。 出于简化实现的原因，类型 uint 和 uint64 不是序数类型。 （这将在该语言的更高版本中更改。）

如果基类型是序数类型，则不同类型是序数类型。