(19 . 6)(19 . 7)
660
661 with Word_Ops; use Word_Ops;
662
663
664 -- Elementary Predicates on Words:
665 package body W_Pred is
666
(56 . 4)(57 . 11)
668 return W_ZeroP(A xor B);
669 end W_EqP;
670
671
672 -- Return 1 if A is less than B ; otherwise return 0.
673 function W_LtP(A : in Word; B : in Word) return WBool is
674 begin
675 return W_Borrow(A, B, A - B);
676 end W_LtP;
677
678 end W_Pred;