From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Jun 2022 00:48:19 -0400
Subject: De-sigil-ification: suffix : [Part 13]

---
 stdlib/source/test/aedifex/artifact/extension.lux              | 2 +-
 stdlib/source/test/aedifex/artifact/snapshot.lux               | 4 ++--
 stdlib/source/test/aedifex/artifact/snapshot/build.lux         | 4 ++--
 stdlib/source/test/aedifex/artifact/snapshot/stamp.lux         | 4 ++--
 stdlib/source/test/aedifex/artifact/snapshot/time.lux          | 4 ++--
 stdlib/source/test/aedifex/artifact/snapshot/version.lux       | 4 ++--
 stdlib/source/test/aedifex/artifact/snapshot/version/value.lux | 4 ++--
 stdlib/source/test/aedifex/artifact/time.lux                   | 4 ++--
 stdlib/source/test/aedifex/artifact/time/date.lux              | 4 ++--
 stdlib/source/test/aedifex/artifact/time/time.lux              | 4 ++--
 stdlib/source/test/aedifex/artifact/type.lux                   | 4 ++--
 stdlib/source/test/aedifex/artifact/versioning.lux             | 4 ++--
 12 files changed, 23 insertions(+), 23 deletions(-)

(limited to 'stdlib/source/test/aedifex/artifact')

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 7ca90b6a6..80b49fdfb 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -18,7 +18,7 @@
    ["/[1]" //
     ["[1]" type]]]])
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Extension]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index 628412bee..8888dc848 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -20,12 +20,12 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Snapshot)
   (random.or (random#in [])
              $/stamp.random))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Snapshot]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index 71024f4d0..f6224dd0b 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -15,11 +15,11 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Build)
   random.nat)
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Build]
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
index ae1ffb7a5..c24a06f5a 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux
@@ -20,14 +20,14 @@
   ["[1][0]" time]
   ["[1][0]" build]])
 
-(def: .public random
+(def .public random
   (Random /.Stamp)
   (all random.and
        $//time.random
        $//build.random
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Stamp])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
index a26532ce1..3b6136ce9 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux
@@ -18,11 +18,11 @@
  ["$[0]" ///
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   $///time.random)
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
index c5c8f0e71..d2a3e01e4 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux
@@ -20,7 +20,7 @@
   ["[1][0]" type]
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Version)
   (all random.and
        $///type.random
@@ -28,7 +28,7 @@
        $///time.random
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Version])
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 5fcef9a0c..0c63a2215 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -27,7 +27,7 @@
     ["[1][0]" stamp]
     ["[1][0]" time]]]])
 
-(def: .public random
+(def .public random
   (Random /.Value)
   (all random.and
        (random.alphabetic 5)
@@ -35,7 +35,7 @@
                   $///stamp.random)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Value])
diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index 8ee637360..c6ba0f2c0 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -23,14 +23,14 @@
   ["[1][0]" date]
   ["[1][0]" time]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   (do random.monad
     [date /date.random
      time /time.random]
     (in [date time])))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index b53420e0a..6d2e4296a 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -23,7 +23,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Date)
   (random.one (function (_ raw)
                 (try.maybe
@@ -35,7 +35,7 @@
                    (/.date raw))))
               random.date))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Date])
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 9a7189e33..33bc56c87 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -18,14 +18,14 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Time)
   (random.one (|>> time.clock
                    (has time.#milli_second 0)
                    time.time)
               random.time))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Time])
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux
index a2b5926e5..003123f40 100644
--- a/stdlib/source/test/aedifex/artifact/type.lux
+++ b/stdlib/source/test/aedifex/artifact/type.lux
@@ -16,7 +16,7 @@
  [\\program
   ["[0]" /]])
 
-(def: .public random
+(def .public random
   (Random /.Type)
   (all random.either
        (all random.either
@@ -28,7 +28,7 @@
             (random#in /.sha-1))
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Type]
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux
index d1efdb17f..451d0b824 100644
--- a/stdlib/source/test/aedifex/artifact/versioning.lux
+++ b/stdlib/source/test/aedifex/artifact/versioning.lux
@@ -19,7 +19,7 @@
   ["[1][0]" snapshot (.only)
    ["[1]/[0]" version]]])
 
-(def: .public random
+(def .public random
   (Random /.Versioning)
   (all random.and
        $//snapshot.random
@@ -27,7 +27,7 @@
        (random.list 5 $//snapshot/version.random)
        ))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Versioning])
-- 
cgit v1.2.3