(.using
  [library
   [lux {"-" char}
    ["$" documentation {"+" documentation:}]
    [data
     [text {"+" \n}
      ["%" format {"+" format}]]
     [collection
      ["[0]" list]]]]]
  [\\library
   ["[0]" /]])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.Primitive)
             ($.default /.Tag)
             ($.default /.Variant)
             ($.default /.tag)
             ($.default /.choice)
             ($.default /.Tuple)
             ($.default /.Composite)
             ($.default /.Pattern)
             ($.default /.Branch')
             ($.default /.Match')
             ($.default /.Environment)
             ($.default /.Analysis)
             ($.default /.Branch)
             ($.default /.Match)
             ($.default /.composite_equivalence)
             ($.default /.composite_hash)
             ($.default /.equivalence)
             ($.default /.control/case)
             ($.default /.unit)
             ($.default /.bit)
             ($.default /.nat)
             ($.default /.int)
             ($.default /.rev)
             ($.default /.frac)
             ($.default /.text)
             ($.default /.Abstraction)
             ($.default /.Application)
             ($.default /.no_op)
             ($.default /.apply)
             ($.default /.application)
             ($.default /.variable)
             ($.default /.constant)
             ($.default /.variable/local)
             ($.default /.variable/foreign)
             ($.default /.pattern/variant)
             ($.default /.pattern/tuple)
             ($.default /.variant)
             ($.default /.tuple)
             ($.default /.pattern/unit)
             ($.default /.pattern/bit)
             ($.default /.pattern/nat)
             ($.default /.pattern/int)
             ($.default /.pattern/rev)
             ($.default /.pattern/frac)
             ($.default /.pattern/text)
             ($.default /.pattern/bind)
             ($.default /.%analysis)
             ($.default /.State+)
             ($.default /.Operation)
             ($.default /.Phase)
             ($.default /.Handler)
             ($.default /.Bundle)
             ($.default /.with_source_code)
             ($.default /.with_scope)
             ($.default /.without_scopes)
             ($.default /.with_current_module)
             ($.default /.with_location)
             ($.default /.failure)
             ($.default /.except)
             ($.default /.assertion)
             ($.default /.failure')
             ($.default /.except')
             ($.default /.with_stack)
             ($.default /.install)
             ($.default /.set_source_code)
             ($.default /.set_current_module)
             ($.default /.set_location)
             ($.default /.location)
             ($.default /.source)
             ($.default /.info)
             ($.default /.state)]
            []))
