From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Jun 2022 02:28:47 -0400
Subject: Extensible import syntax [Part 6]

---
 stdlib/source/documentation/lux.lux            | 4 ++--
 stdlib/source/documentation/lux/math/logic.lux | 2 +-
 stdlib/source/documentation/lux/world.lux      | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 861c20087..8969f1dcd 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -599,11 +599,11 @@
       ["M" monad (.except)]]
      [data
       maybe
-      ["[0]" name ("[1]#[0]" codec)]]
+      ["[0]" name (.open: "[1]#[0]" codec)]]
      [macro
       code]]
     [//
-     [type ("[0]" equivalence)]])])
+     [type (.open: "[0]" equivalence)]])])
 
 (documentation: /.#
   "Allows accessing the value of a implementation's member."
diff --git a/stdlib/source/documentation/lux/math/logic.lux b/stdlib/source/documentation/lux/math/logic.lux
index ea6a28f65..5b26c20b7 100644
--- a/stdlib/source/documentation/lux/math/logic.lux
+++ b/stdlib/source/documentation/lux/math/logic.lux
@@ -6,7 +6,7 @@
     [text
      ["%" format (.only format)]]
     [collection
-     ["[0]" list ("[1]#[0]" monoid)]]]]]
+     ["[0]" list (.open: "[1]#[0]" monoid)]]]]]
  ["[0]" /
   ["[1][0]" continuous]
   ["[1][0]" fuzzy]])
diff --git a/stdlib/source/documentation/lux/world.lux b/stdlib/source/documentation/lux/world.lux
index 051f8efff..afbd6447b 100644
--- a/stdlib/source/documentation/lux/world.lux
+++ b/stdlib/source/documentation/lux/world.lux
@@ -8,7 +8,7 @@
     ["[0]" io]]
    [data
     [collection
-     ["[0]" list ("[1]#[0]" monoid)]]]]]
+     ["[0]" list (.open: "[1]#[0]" monoid)]]]]]
  ["[0]" /
   ["[1][0]" console]
   ["[1][0]" file]
-- 
cgit v1.2.3