X'Modulus 是一個 Ada 屬性,其中 X 是任何 模 型別。它返回 X 的模數。
type Unsigned_Byte is mod 2**8; type Unsigned_Word is mod 2**16; pragma Assert (Unsigned_Byte'Modulus = 256); -- Ok pragma Assert (Unsigned_Word'Modulus = 65536); -- Ok
pragma