(33 . 6)(33 . 10)
207 function FZ_EqP(X : in FZ; Y: in FZ) return WBool
208 with Pre => X'Length = Y'Length;
209
210 -- 1 iff X == W (branch-free); else 0
211 function FZ_EqP_W(X : in FZ; W : in Word) return WBool;
212 pragma Inline_Always(FZ_EqP_W);
213
214 -- 1 iff X < Y (branch-free); else 0
215 function FZ_LessThanP(X : in FZ; Y : in FZ) return WBool
216 with Pre => X'Length = Y'Length;