|  |  | Magnitudes

## Magnitudes

Magnitudes are totally orderable objects. Users are only required to implement `<` and `=`.

`<mag>` | `(<any>)` | `C`
`<` | `(x|<mag> y|<mag> => <log>)` | `G`
| returns iff `x` is less than `y`. |
`>` | `(x|<mag> y|<mag> => <log>)` | `G`
| == `(not (or (< x y) (= x y)))`. |
`<=` | `(x|<mag> y|<mag> => <log>)` | `G`
| == `(or (< x y) (= x y))`. |
`>=` | `(x|<mag> y|<mag> => <log>)` | `G`
| == `(not (< x y))`. |
`min` | `(x|<mag> y|<mag> => <mag>)` | `G`
| returns the smallest of `x` and `y`. |
`max` | `(x|<mag> y|<mag> => <mag>)` | `G`
| returns the largest of `x` and `y`. |

|  |  | Magnitudes