(26 . 17)(26 . 22)
2176
2177 -- Return 1 if N is equal to 0; otherwise return 0.
2178 function W_ZeroP(N : in Word) return WBool;
2179 pragma Inline_Always(W_ZeroP);
2180
2181 -- Return 1 if N is unequal to 0; otherwise return 0.
2182 function W_NZeroP(N : in Word) return WBool;
2183 pragma Inline_Always(W_NZeroP);
2184
2185 -- Return WBool-complement of N.
2186 function W_Not(N : in WBool) return WBool;
2187 pragma Inline_Always(W_Not);
2188
2189 -- Return 1 if N is odd; otherwise return 0.
2190 function W_OddP(N : in Word) return WBool;
2191 pragma Inline_Always(W_OddP);
2192
2193 -- Return 1 if A is equal to B ; otherwise return 0.
2194 function W_EqP(A : in Word; B : in Word) return WBool;
2195 pragma Inline_Always(W_EqP);
2196
2197 end W_Pred;