diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/order.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/order.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index e9121353a..495db63e8 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -25,7 +25,7 @@ [left random.nat right (|> random.nat (random.filter (|>> (n.= left) not))) #let [equivalence (: (Equivalence (/.Order Nat)) - (structure + (implementation (def: (= leftO rightO) (and (bit\= (\ leftO < left left) (\ rightO < left left)) |