|
|
|---|
|
|
|
|---|
Leo ordering operations.
These are the usual strict and non-strict ordering relations: less than, less than or equal to, greater than, greater than or equal to.
We model them via ACL2 functions that return boolean values when applied on integer, field, or scalar values of the same type. They defensively return an error indication when they are applied to values of other types or to values of different types.