| 1 | /** |
| 2 | * This module provides an implementation of the `Order` type class which is used to define a total ordering on some type `A`. |
| 3 | * An order is defined by a relation `<=`, which obeys the following laws: |
| 4 | * |
nothing calls this directly
no test coverage detected