(.require
 [library
  [lux (.except)
   ["$" documentation]
   [data
    [text (.only \n)
     ["%" \\format (.only format)]]]]]
 [\\library
  ["[0]" /]])

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

        ($.definition /.no)
        ($.definition /.yes)
        ($.definition /.off)
        ($.definition /.on)
        ($.definition /.equivalence)
        ($.definition /.hash)
        ($.definition /.disjunction)
        ($.definition /.conjunction)
        ($.definition /.codec)

        ($.definition /.complement
          (format "Generates the complement of a predicate."
                  \n "That is a predicate that returns the oposite of the original predicate."))
        ))