(.using
  [library
   [lux {"-" and}
    ["$" documentation {"+" documentation:}]
    [abstract
     [\\specification
      ["$[0]" equivalence]
      ["$[0]" codec]]]
    [control
     ["<>" parser
      ["<[0]>" code]]]
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\library
   ["[0]" /]])

(documentation: /.code
  ""
  [(code env type)])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..code
             ($.default /.poly:)]
            []))
