From 6a052144968df9b441df53f6aa08cbb515ff2654 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Jul 2022 18:42:43 -0400
Subject: Folded "default" documentation into regular definition documentation.

---
 stdlib/source/documentation/lux/control/function/contract.lux  | 4 ++--
 stdlib/source/documentation/lux/control/function/memo.lux      | 4 ++--
 stdlib/source/documentation/lux/control/function/mixin.lux     | 2 +-
 stdlib/source/documentation/lux/control/function/predicate.lux | 6 +++---
 4 files changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/documentation/lux/control/function')

diff --git a/stdlib/source/documentation/lux/control/function/contract.lux b/stdlib/source/documentation/lux/control/function/contract.lux
index 4dd4990ef..ea946a3fa 100644
--- a/stdlib/source/documentation/lux/control/function/contract.lux
+++ b/stdlib/source/documentation/lux/control/function/contract.lux
@@ -12,8 +12,8 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.pre_condition_failed)
-             ($.default /.post_condition_failed)
+            [($.definition /.pre_condition_failed)
+             ($.definition /.post_condition_failed)
 
              ($.definition /.pre
                (format "Pre-conditions."
diff --git a/stdlib/source/documentation/lux/control/function/memo.lux b/stdlib/source/documentation/lux/control/function/memo.lux
index caa98f2b1..0633cff02 100644
--- a/stdlib/source/documentation/lux/control/function/memo.lux
+++ b/stdlib/source/documentation/lux/control/function/memo.lux
@@ -12,8 +12,8 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.memoization)
-             ($.default (/.Memo input output))
+            [($.definition /.memoization)
+             ($.definition (/.Memo input output))
 
              ($.definition /.open
                "Memoization where the memoized results can be re-used accross invocations."
diff --git a/stdlib/source/documentation/lux/control/function/mixin.lux b/stdlib/source/documentation/lux/control/function/mixin.lux
index 4e0415fb3..7444f1114 100644
--- a/stdlib/source/documentation/lux/control/function/mixin.lux
+++ b/stdlib/source/documentation/lux/control/function/mixin.lux
@@ -12,7 +12,7 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.monoid)
+            [($.definition /.monoid)
 
              ($.definition (/.Mixin input output)
                "A partially-defined function which can be mixed with others to inherit their behavior.")
diff --git a/stdlib/source/documentation/lux/control/function/predicate.lux b/stdlib/source/documentation/lux/control/function/predicate.lux
index efc4bea44..a8a4fffe7 100644
--- a/stdlib/source/documentation/lux/control/function/predicate.lux
+++ b/stdlib/source/documentation/lux/control/function/predicate.lux
@@ -12,9 +12,9 @@
   (.List $.Module)
   ($.module /._
             ""
-            [($.default /.union)
-             ($.default /.intersection)
-             ($.default /.functor)
+            [($.definition /.union)
+             ($.definition /.intersection)
+             ($.definition /.functor)
 
              ($.definition (/.Predicate it)
                "A question that can be asked of a value, yield either false (#0) or true (#1).")
-- 
cgit v1.2.3