... This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
... If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/.

(.require
 [library
  [lux (.except)
   ["$" documentation]
   [meta
    [macro
     ["[0]" template]]]]]
 [\\library
  ["[0]" /]])

(`` (the .public documentation
      (List $.Documentation)
      (list ($.module /._
                      "")

            ($.definition /.co_prime?)
            ($.definition /.even?)
            ($.definition /.odd?)
            ($.definition /.decimal)
            ($.definition /.equivalence)
            ($.definition /.order)
            ($.definition /.enum)
            ($.definition /.interval)
            ($.definition /.addition)
            ($.definition /.multiplication)
            ($.definition /.minimum)
            ($.definition /.maximum)
            ($.definition /.binary)
            ($.definition /.octal)
            ($.definition /.hex)
            ($.definition /.base_10)
            ($.definition /.hash)

            (,, (template.with [<name> <documentation>]
                  [($.definition <name>
                     <documentation>)]

                  [/.= "Natural equivalence."]
                  [/.+ "Natural addition."]
                  [/.- "Natural substraction."]
                  [/.< "Natural less-than."]
                  [/.<= "Natural less-than or equal."]
                  [/.> "Natural greater-than."]
                  [/.>= "Natural greater-than or equal."]
                  [/.* "Natural multiplication."]
                  [/./ "Natural division."]
                  [/./% "Natural [division remainder]."]
                  [/.% "Natural remainder."]
                  ))

            (,, (template.with [<name> <doc>]
                  [($.definition <name>
                     <doc>)]

                  [/.min "Natural minimum."]
                  [/.max "Natural maximum."]
                  ))

            ($.definition /.gcd
              "Greatest Common Divisor.")

            ($.definition /.lcm
              "Least Common Multiple.")
            )))
