diff options
Diffstat (limited to 'stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux b/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux index 408b5c6f4..12f08046b 100644 --- a/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux +++ b/stdlib/source/documentation/lux/meta/target/jvm/type/lux.lux @@ -14,15 +14,15 @@ (.List $.Module) ($.module /._ "" - [($.default /.Lower) - ($.default /.Upper) - ($.default /.Mapping) - ($.default /.fresh) - ($.default /.unknown_var) - ($.default /.class) - ($.default /.type) - ($.default /.boxed_type) - ($.default /.return) - ($.default /.boxed_return) - ($.default /.check)] + [($.definition /.Lower) + ($.definition /.Upper) + ($.definition /.Mapping) + ($.definition /.fresh) + ($.definition /.unknown_var) + ($.definition /.class) + ($.definition /.type) + ($.definition /.boxed_type) + ($.definition /.return) + ($.definition /.boxed_return) + ($.definition /.check)] [])) |