Adaにおける離散型

列挙型、正負あり整数型、正負なし整数型をまとめて『離散型』と言う。*1
離散型には以下のような属性がある：

S'Pos

型Sの変数Vを表す整数（universal-integer*2）を返す。

S'Val

整数（universal-integer）が示すSにおける値を返す。

*1:多分。別な、もっといい言い方があるかもしれない。

*2:制限のない、概念的な整数型。universal-integer型の変数は宣言できないが、整数リテラルはこれ。