(27 . 7)(27 . 6)
2134 begin
2135 return W_Borrow(N, 1, N - 1);
2136 end W_ZeroP;
2137 pragma Inline_Always(W_ZeroP);
2138
2139
2140 -- Return 1 if N is unequal to 0; otherwise return 0.
(35 . 7)(34 . 6)
2142 begin
2143 return 1 xor W_ZeroP(N);
2144 end W_NZeroP;
2145 pragma Inline_Always(W_NZeroP);
2146
2147
2148 -- Return WBool-complement of N.
(43 . 7)(41 . 6)
2150 begin
2151 return 1 xor N;
2152 end W_Not;
2153 pragma Inline_Always(W_Not);
2154
2155
2156 -- Return 1 if N is odd; otherwise return 0.
(51 . 7)(48 . 6)
2158 begin
2159 return 1 and N;
2160 end W_OddP;
2161 pragma Inline_Always(W_OddP);
2162
2163
2164 -- Return 1 if A is equal to B ; otherwise return 0.
(59 . 6)(55 . 5)
2166 begin
2167 return W_ZeroP(A xor B);
2168 end W_EqP;
2169 pragma Inline_Always(W_EqP);
2170
2171 end W_Pred;