(.using
  [library
   [lux "*"
    ["$" documentation {"+" documentation:}]
    [control
     ["<>" parser
      ["<[0]>" code]]]
    [data
     ["[0]" text {"+" \n}
      ["%" format {"+" format}]]]
    [macro
     [syntax {"+" syntax:}]
     ["[0]" code]
     ["[0]" template]]]]
  [\\library
   ["[0]" /]])

(documentation: (/.Dictionary key value)
  "A dictionary data-structure with ordered entries.")

(documentation: /.empty
  "An empty dictionary, employing the given order."
  [(empty order)])

(documentation: /.value
  ""
  [(value key dict)])

(documentation: /.key?
  ""
  [(key? dict key)])

(template [<name>]
  [(`` (documentation: <name>
         (format "Yields value under the " (~~ (template.text [<name>])) "imum key.")))]

  [/.min]
  [/.max]
  )

(documentation: /.size
  ""
  [(size dict)])

(documentation: /.has
  ""
  [(has key value dict)])

(documentation: /.lacks
  ""
  [(lacks key dict)])

(documentation: /.revised
  ""
  [(revised key transform dict)])

(documentation: /.of_list
  ""
  [(of_list order list)])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..Dictionary
             ..empty
             ..value
             ..key?

             ..min
             ..max
             
             ..size
             ..has
             ..lacks
             ..revised
             ..of_list
             ($.default /.empty?)
             ($.default /.entries)
             ($.default /.keys)
             ($.default /.values)
             ($.default /.equivalence)]
            []))
