with Words; use Words;
with FZ_Type; use FZ_Type;


package FZ_Pred is
   
   pragma Pure;
   
   --------------------------------------------
   -- Fundamental Predicate Operations on FZ --
   --------------------------------------------
   
   -- 1 iff N == 0 (branch-free); else 0
   function FZ_ZeroP(N : in FZ) return WBool;
   
   -- 1 iff N is odd
   function FZ_OddP(N : in FZ) return WBool;
   
end FZ_Pred;