(.using
  [library
   [lux "*"
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\library
   ["[0]" /]])

(/.documentation: /.default
  ""
  [(: /.Definition
      (default ..definition))])

(/.documentation: /.documentation:
  ""
  [(documentation: /.default
     ""
     [(: /.Definition
         (default ..definition))])])

(/.documentation: /.module
  ""
  [(: (.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)]
            []))