Version

VD81

In EiffelStudio 18.11 and earlier, comparison of real numbers could be controlled by the setting "Total Order on REALs".

Back to Legacy code
Permanent link
cached: 02/12/2026 8:01:28.000 PM