X'Digits 是 Ada 屬性，其中 X 是任何浮點型別或十進位制定點型別。該屬性表示型別 X 的尾數中的十進位制位數。
type My_Float is digits 10 range 0.0 .. 100.0; ... pragma Assert (My_Float'Digits = 10); -- OK
type
is
digits
range
pragma
Ada。經久耐用、安全可靠。
