diff options
Diffstat (limited to 'stdlib/source/documentation/lux/meta/type/quotient.lux')
-rw-r--r-- | stdlib/source/documentation/lux/meta/type/quotient.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/quotient.lux b/stdlib/source/documentation/lux/meta/type/quotient.lux index c68949188..a8c16fd4b 100644 --- a/stdlib/source/documentation/lux/meta/type/quotient.lux +++ b/stdlib/source/documentation/lux/meta/type/quotient.lux @@ -17,19 +17,19 @@ ($.default /.label) ($.default /.equivalence) - ($.documentation (/.Class value label) + ($.definition (/.Class value label) "The class knows how to classify/label values that are meant to be equivalent to one another.") - ($.documentation (/.Quotient value label) + ($.definition (/.Quotient value label) (format "A quotient value has been labeled with a class." \n "All equivalent values will belong to the same class." \n "This means all equivalent values possess the same label.")) - ($.documentation /.quotient + ($.definition /.quotient "" [(quotient class value)]) - ($.documentation /.type + ($.definition /.type "The Quotient type associated with a Class type." [(def even (class even?)) |