Extensible import syntax [Part 4]

8 files changed, 13 insertions, 13 deletions

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index 8e9053349..1e39c009b 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -9,18 +9,18 @@
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
-    ["[0]" binary
+    ["[0]" binary (.only)
      ["_[1]" \\test]]]
    [math
     ["[0]" random]]]]
  [\\program
-  ["[0]" /
+  ["[0]" / (.only)
    ["[1][0]" remote]
-   ["/[1]" // "_"
+   ["/[1]" //
     ["[1][0]" artifact (.only Artifact)
      ["[1]/[0]" extension]]]]]
  [\\test
-  ["_[0]" // "_"
+  ["_[0]" //
    ["[1][0]" artifact]]])
 
 (def: .public (spec valid_artifact invalid_artifact subject)
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index d95e522fe..51e274453 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -17,11 +17,11 @@
      [generation (.only Bundle)]]
     [default
      [platform (.only Platform)]]]]]
- ["[0]" / "_"
+ ["[0]" /
   ["[1][0]" common (.only Runner Definer)]
-  ["[1]./" analysis "_"
+  ["[1]./" analysis
    ["[1][0]" type]]
-  ["[1]./" generation "_"
+  ["[1]./" generation
    ["[1][0]" primitive]
    ["[1][0]" structure]
    ["[1][0]" reference]
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index 659971e9e..334ce7012 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -25,7 +25,7 @@
    [compiler
     ["[0]" reference]
     ["[0]" synthesis]]]]
- ["[0]" // "_"
+ ["[0]" //
   ["[1][0]" case]
   [//
    [common (.only Runner)]]])
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index a255a7b1e..d1ab6e87a 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -18,7 +18,7 @@
     [analysis (.only Arity)]
     ["[0]" reference (.only Register)]
     ["[0]" synthesis (.only Synthesis)]]]]
- ["[0]" // "_"
+ ["[0]" //
   ["[1][0]" case]
   [//
    [common (.only Runner)]]])
diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux
index 6fb116a8c..3c6a05a11 100644
--- a/stdlib/source/specification/lux/abstract/codec.lux
+++ b/stdlib/source/specification/lux/abstract/codec.lux
@@ -9,7 +9,7 @@
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
-  ["[0]" /
+  ["[0]" / (.only)
    [//
     [equivalence (.only Equivalence)]]]])
 
diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux
index 9c28a1a94..0082a5c22 100644
--- a/stdlib/source/specification/lux/abstract/monoid.lux
+++ b/stdlib/source/specification/lux/abstract/monoid.lux
@@ -7,7 +7,7 @@
    [math
     ["[0]" random (.only Random)]]]]
  [\\library
-  ["[0]" /
+  ["[0]" / (.only)
    [//
     [equivalence (.only Equivalence)]]]])
 
diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux
index 4b7925983..e373596c4 100644
--- a/stdlib/source/specification/lux/world/console.lux
+++ b/stdlib/source/specification/lux/world/console.lux
@@ -10,7 +10,7 @@
     [concurrency
      ["[0]" async (.only Async)]]]
    [data
-    ["[0]" text
+    ["[0]" text (.only)
      ["%" format (.only format)]]]
    [math
     ["[0]" random]]]]
diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux
index 710aa86c4..1ebabbd0b 100644
--- a/stdlib/source/specification/lux/world/shell.lux
+++ b/stdlib/source/specification/lux/world/shell.lux
@@ -20,7 +20,7 @@
      ["n" nat]
      ["i" int]]]]]
  [\\library
-  ["[0]" /
+  ["[0]" / (.only)
    [//
     [file (.only Path)]]]])