1 files changed, 26 insertions, 36 deletions
diff --git a/stdlib/source/documentation/lux/documentation.lux b/stdlib/source/documentation/lux/documentation.lux
index c720ae97a..bdebfab7e 100644
--- a/stdlib/source/documentation/lux/documentation.lux
+++ b/stdlib/source/documentation/lux/documentation.lux
@@ -9,41 +9,31 @@
  [\\library
   ["[0]" /]])
 
-(/.documentation: /.default
-  ""
-  [(is /.Definition
-       (default ..definition))])
+(with_expansions [<default> (/.documentation /.default
+                              ""
+                              [(is /.Definition
+                                   (default ..definition))])
+                  <documentation> (/.documentation /.documentation
+                                    ""
+                                    [<default>])
+                  <all> (these (/.default /.unqualified_symbol)
+                               (/.default /.Definition)
+                               (/.default /.Module)
+                               (/.default /.documentation)
 
-(/.documentation: /.documentation:
-  ""
-  [(documentation: /.default
-     ""
-     [(is /.Definition
-          (default ..definition))])])
+                               <default>
+                               <documentation>)]
+  (.def .public documentation
+    (.List /.Module)
+    (/.module /._
+              ""
+              [<all>
 
-(/.documentation: /.module
-  ""
-  [(is (.List /.Module)
-       (module /._
-               ""
-               [..default
-                ..documentation:
-                ..module
-                (/.default /.unqualified_symbol)
-                (/.default /.Definition)
-                (/.default /.Module)
-                (/.default /.documentation)]
-               []))])
-
-(.def .public documentation
-  (.List /.Module)
-  (/.module /._
-            ""
-            [..default
-             ..documentation:
-             ..module
-             (/.default /.unqualified_symbol)
-             (/.default /.Definition)
-             (/.default /.Module)
-             (/.default /.documentation)]
-            []))
+               (/.documentation /.module
+                 ""
+                 [(is (.List /.Module)
+                      (module /._
+                              ""
+                              [<all>]
+                              []))])]
+              [])))