- 81851EEDEADDE7D3E5CDDB55027C3D65224C3600EE45FC378AC509D8578B458F823F93227BD7010000C890BA9574D57D3BC3FFF86A795D5A45E614CAE0B0AA2B
+ 0B578E5293749B2EDDE1FD1C4E538CDAD8C9E806E44471E331230DD9CDE52E216D9F318DFA8171EA820E367F55C9071787A952DE8E389B50735E622671706E6B
ffa/libffa/fz_cmp.ads
(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;