(.using
  [library
   [lux {"-" nat int rev list type or and}
    ["$" documentation {"+" documentation:}]
    [data
     [text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     ["[0]" template]]]]
  [\\library
   ["[0]" /]])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.not_a_small_number)
             ($.default /.small_limit)
             ($.default /.Small)
             ($.default /.small)
             ($.default /.from_small)

             ($.default /.not_a_big_number)
             ($.default /.big_limit)
             ($.default /.Big)
             ($.default /.big)
             ($.default /.from_big)

             ($.default /.wrong_character)
             ($.default /.not_ascii)
             ($.default /.name_size)
             ($.default /.path_size)

             ($.default /.Name)
             ($.default /.name_is_too_long)
             ($.default /.name)
             ($.default /.from_name)
             ($.default /.anonymous)

             ($.default /.Path)
             ($.default /.path_is_too_long)
             ($.default /.path)
             ($.default /.from_path)
             ($.default /.no_path)

             ($.default /.invalid_link_flag)
             ($.default /.Mode)
             ($.default /.mode)
             ($.default /.and)
             ($.default /.invalid_mode)

             ($.default /.none)
             
             ($.default /.execute_by_other)
             ($.default /.write_by_other)
             ($.default /.read_by_other)

             ($.default /.execute_by_group)
             ($.default /.write_by_group)
             ($.default /.read_by_group)

             ($.default /.execute_by_owner)
             ($.default /.write_by_owner)
             ($.default /.read_by_owner)

             ($.default /.save_text)
             ($.default /.set_group_id_on_execution)
             ($.default /.set_user_id_on_execution)
             
             ($.default /.Content)
             ($.default /.content)
             ($.default /.data)
             ($.default /.ID)
             ($.default /.no_id)
             ($.default /.Owner)
             ($.default /.Ownership)
             ($.default /.File)
             ($.default /.Normal)
             ($.default /.Symbolic_Link)
             ($.default /.Directory)
             ($.default /.Contiguous)
             ($.default /.Entry)
             ($.default /.Tar)
             ($.default /.writer)
             ($.default /.wrong_checksum)
             ($.default /.wrong_link_flag)
             ($.default /.invalid_end_of_archive)
             ($.default /.parser)]
            []))
