Searched refs:Uint_31 (Results 1 – 9 of 9) sorted by relevance
66 Uint_31 : constant Uint; constant478 Uint_31 : constant Uint := Uint (Uint_Direct_Bias + 31); constant
2033 * uintp.ads (Uint_31): New deferred constant.
66 Uint_31 : constant Uint; constant502 Uint_31 : constant Uint := Uint (Uint_Direct_Bias + 31); constant
2433 (UI_To_Int (Key mod (Uint_2 ** Uint_31))));