diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/meta/type/check.lux | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/check.lux b/stdlib/source/documentation/lux/meta/type/check.lux index 312eba27d..ba4009ed4 100644 --- a/stdlib/source/documentation/lux/meta/type/check.lux +++ b/stdlib/source/documentation/lux/meta/type/check.lux @@ -12,17 +12,17 @@ (.List $.Module) ($.module /._ "Type-checking functionality." - [($.default /.unknown_type_var) - ($.default /.unbound_type_var) - ($.default /.invalid_type_application) - ($.default /.cannot_rebind_var) - ($.default /.type_check_failed) - ($.default /.functor) - ($.default /.apply) - ($.default /.monad) - ($.default /.bound?) - ($.default /.peek) - ($.default /.read) + [($.definition /.unknown_type_var) + ($.definition /.unbound_type_var) + ($.definition /.invalid_type_application) + ($.definition /.cannot_rebind_var) + ($.definition /.type_check_failed) + ($.definition /.functor) + ($.definition /.apply) + ($.definition /.monad) + ($.definition /.bound?) + ($.definition /.peek) + ($.definition /.read) ($.definition /.Var "The ID for a type-variable in a type-checking context.") |