diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/type.lux | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index acdbab38d..117d77043 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -346,3 +346,9 @@ _ false)) + +(def: #export (array level elem-type) + (-> Nat Type Type) + (case level + +0 elem-type + _ (#;Host "#Array" (list (array (n.dec level) elem-type))))) |