(.using
  [library
   [lux {"-" list}
    ["$" documentation {"+" documentation:}]
    [control
     ["<>" parser
      ["<[0]>" code]]]
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\library
   ["[0]" /]]
  ["[0]" / "_"
   ["[1][0]" multi]
   ["[1][0]" 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]))
