(0 . 0)(1 . 19)
634 with Words; use Words;
635 with FZ_Type; use FZ_Type;
636
637
638 package FZ_Pred is
639
640 pragma Pure;
641
642 --------------------------------------------
643 -- Fundamental Predicate Operations on FZ --
644 --------------------------------------------
645
646 -- 1 iff N == 0 (branch-free); else 0
647 function FZ_ZeroP(N : in FZ) return WBool;
648
649 -- 1 iff N is odd
650 function FZ_OddP(N : in FZ) return WBool;
651
652 end FZ_Pred;