(.using
 [library
  [lux {"-" nat int rev list type or and}
   ["$" documentation (.only documentation:)]
   [data
    [text (.only \n)
     ["%" format (.only format)]]]
   [macro
    ["[0]" template]]]]
 [\\library
  ["[0]" /]])

(documentation: /.attributes
  "An empty set of XML attributes.")

(documentation: /.tag
  "The text format of a XML tag."
  [(tag name)])

(documentation: /.attribute
  "The text format of a XML attribute.")

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..attributes
             ..tag
             ..attribute
             ($.default /.Tag)
             ($.default /.Attribute)
             ($.default /.Attrs)
             ($.default /.XML)
             ($.default /.codec)
             ($.default /.equivalence)]
            []))