1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 70eb486f3..cabbb1154 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -429,16 +429,16 @@
  #1)
 
 ## (type: Global
-##   (| Alias
-##      Definition))
-("lux def" Global
- ("lux check type"
-  (#Named ["lux" "Global"]
-          (#Sum Alias
-                Definition)))
+##   (#Alias Alias)
+##   (#Definition Definition))
+("lux def type tagged" Global
+ (#Named ["lux" "Global"]
+         (#Sum Alias
+               Definition))
  (record$ (#Cons [(tag$ ["lux" "doc"])
                   (text$ "Represents all the data associated with a global constant.")]
                  #Nil))
+ ["Alias" "Definition"]
  #1)
 
 ## (type: (Bindings k v)