diff options
| author | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-16 00:48:19 -0400 |
| commit | 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch) | |
| tree | 115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux | |
| parent | f92c806ee8da63f04bbefbf558f6249bacdb47ea (diff) | |
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux index 9e00a5b51..d9801694c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux @@ -19,7 +19,7 @@ (type: .public Definition [Text (Maybe [Arity [Nat Nat]])]) -(def: .public definition_equivalence +(def .public definition_equivalence (Equivalence Definition) (all product.equivalence text.equivalence @@ -40,10 +40,10 @@ {#Directive Text} {#Custom Text})) -(def: .public equivalence +(def .public equivalence (Equivalence Category) (implementation - (def: (= left right) + (def (= left right) (case [left right] [{#Anonymous} {#Anonymous}] true |