(.module:
  [library
   [lux (#- list)
    ["$" documentation (#+ documentation:)]
    [control
     ["<>" parser
      ["<.>" code]]]
    [data
     ["." text (#+ \n)
      ["%" format (#+ format)]]]
    [macro
     ["." template]]]]
  [\\library
   ["." /]]
  ["." / #_
   ["#." multi]
   ["#." ordered]])

(documentation: /.has
  ""
  [(has elem set)])

(documentation: /.difference
  ""
  [(difference sub base)])

(documentation: /.intersection
  ""
  [(intersection filter base)])

(documentation: /.sub?
  ""
  [(sub? super sub)])

(documentation: /.super?
  ""
  [(super? sub super)])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..has
             ..difference
             ..intersection
             ..sub?
             ..super?
             ($.default (/.Set it))
             ($.default /.member_hash)
             ($.default /.empty)
             ($.default /.size)
             ($.default /.lacks)
             ($.default /.member?)
             ($.default /.list)
             ($.default /.union)
             ($.default /.equivalence)
             ($.default /.hash)
             ($.default /.monoid)
             ($.default /.empty?)
             ($.default /.of_list)
             ($.default /.predicate)]
            [/multi.documentation
             /ordered.documentation]))