ORDINALPRED は、序数 x が取ることができる 2 番目に低い値である序数を戻します。
 >>-ORDINALPRED(x)----------------------------------------------><
|
- x
- 参照。
この関数には、序数タイプを保持している必要があります。
戻される序数には、序数 x と同じタイプを保持している必要があります。
|
This information center is powered by Eclipse technology. (http://www.eclipse.org)