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。经久耐用、安全可靠。
