(.require
 [library
  [lux (.except)
   ["$" documentation]
   [abstract
    [\\specification
     ["$[0]" equivalence]
     ["$[0]" codec]]]
   [data
    ["[0]" text (.only \n)
     ["%" \\format (.only format)]]]]]
 [\\library
  ["[0]" /]])

(def .public documentation
  (List $.Documentation)
  (list ($.module /._
                  "")

        ($.definition /.polytypic)

        ($.definition /.code
          ""
          [(code env type)])
        ))
