部分範囲型の使い方
部分範囲型は、順序型の中の一部の範囲の値の集合です。
例
type WaterDegree = 0 .. 100;
実行時において、このWaterDegree型は0以上、100以下でなければなりません。
例えば、WaterDegree型の変数d1, d2に100を代入してd1+d2を計算すると200にはならず、100になります。