diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/order.lux')
| -rw-r--r-- | stdlib/source/library/lux/abstract/order.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/abstract/order.lux b/stdlib/source/library/lux/abstract/order.lux index 7f055199a..6da64656d 100644 --- a/stdlib/source/library/lux/abstract/order.lux +++ b/stdlib/source/library/lux/abstract/order.lux @@ -8,13 +8,13 @@ [functor ["." contravariant]]]) -(interface: .public (Order a) - (: (Equivalence a) - &equivalence) +(type: .public (Order a) + (Interface + (: (Equivalence a) + &equivalence) - (: (-> a a Bit) - <) - ) + (: (-> a a Bit) + <))) (type: .public (Comparison a) (-> (Order a) a a Bit)) |