- DCE7717443C377E450E327CA0F5681883AEA87C0EA32C3434A079D0175EA9530355D7E031DC5FCD29DF3CB22F1E8DA2EC1D57D2CB42E09180ABAA1E0D21B84C0
+ 3D4BBF3635F035298A307C1E245B67B5B47CBD9233BE5A26DBEAC74F6B65D78D1A53C966E4C58A0A81BD0CF0D1685BD871ABC02E32C4570CCDEE0997DEFDD3A3
ffa/libffa/fz_pred.adb
(50 . 4)(50 . 11)
353 return W_OddP(N(N'First));
354 end FZ_OddP;
355
356
357 -- 1 iff N fits inside one Word
358 function FZ_OneWordP(N : in FZ) return WBool is
359 begin
360 return FZ_ZeroP(N(N'First + 1 .. N'Last));
361 end FZ_OneWordP;
362
363 end FZ_Pred;