diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/unsigned.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index ec8b7b068..66506f3b0 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -19,9 +19,9 @@ ["n" nat] ["[0]" i64]]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public (Unsigned brand) +(primitive: .public (Unsigned brand) Nat (def: .public value @@ -61,7 +61,7 @@ (template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>] [(with_expansions [<raw> (template.symbol [<name> "'"])] - (abstract: .public <raw> Any) + (primitive: .public <raw> Any) (type: .public <name> (Unsigned <raw>))) (def: .public <size> <bytes>) |