(31 . 11)(31 . 14)
1938
1939 -- 1 iff N == 0 (branch-free); else 0
1940 function FZ_ZeroP(N : in FZ) return WBool;
1941 pragma Inline_Always(FZ_ZeroP);
1942
1943 -- 1 iff N != 0 (branch-free); else 0
1944 function FZ_NZeroP(N : in FZ) return WBool;
1945 pragma Inline_Always(FZ_NZeroP);
1946
1947 -- 1 iff N is odd
1948 function FZ_OddP(N : in FZ) return WBool;
1949 pragma Inline_Always(FZ_OddP);
1950
1951 end FZ_Pred;