diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/encoding/unsigned.lux')
-rw-r--r-- | stdlib/source/lux/target/jvm/encoding/unsigned.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/lux/target/jvm/encoding/unsigned.lux index 1c2edd25a..4cff01d68 100644 --- a/stdlib/source/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/lux/target/jvm/encoding/unsigned.lux @@ -27,13 +27,13 @@ (-> (Unsigned Any) Nat) (|>> :representation)) - (structure: #export equivalence + (implementation: #export equivalence (All [brand] (Equivalence (Unsigned brand))) (def: (= reference sample) (n.= (:representation reference) (:representation sample)))) - (structure: #export order + (implementation: #export order (All [brand] (Order (Unsigned brand))) (def: &equivalence ..equivalence) |