- A8B74FCF54F88EE08E1F4760729EA54088C2D21DB24083E695FD1C7BF0B17EEC9A4D614045BB337FD0F5C7F8BF30D7BD80063F7DFE7FE28E2E49078BA52E8250
+ F367B121A5FD6FBA68F6046A9329AC6EC98272A2728F38DDD75C52F348834AD811F20D88AEAC38B24D07B1CE9C042A736554A6C7FB1F6AD7A264B2A09126F7EA
ffa/libffa/w_pred.ads
(30 . 6)(30 . 9)
500 -- Return 1 if N is unequal to 0; otherwise return 0.
501 function W_NZeroP(N : in Word) return WBool;
502
503 -- Return WBool-complement of N.
504 function W_Not(N : in WBool) return WBool;
505
506 -- Return 1 if N is odd; otherwise return 0.
507 function W_OddP(N : in Word) return WBool;
508