diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/encoding/signed.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/signed.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index c56ada38f..be0f564e3 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -20,9 +20,9 @@ ["n" nat] ["i" int]]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public (Signed brand) +(primitive: .public (Signed brand) Int (def: .public value @@ -49,7 +49,7 @@ (template [<bytes> <name> <size> <constructor> <maximum> <minimum> <+> <->] [(with_expansions [<raw> (template.symbol [<name> "'"])] - (abstract: <raw> Any) + (primitive: <raw> Any) (type: .public <name> (Signed <raw>))) (def: .public <size> <bytes>) |