From 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 19 Dec 2022 20:56:06 -0400
Subject: Added price-action abstraction.

---
 stdlib/source/specification/lux/abstract/enum.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/specification/lux/abstract/enum.lux')

diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
index 569e67181..0d367f7c0 100644
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ b/stdlib/source/specification/lux/abstract/enum.lux
@@ -2,15 +2,15 @@
  [library
   [lux (.except)
    [abstract
-    [monad (.only do)]]
+    [monad (.only do)]
+    ["[0]" order
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random)]]
    [test
     ["_" property (.only Test)]]]]
  [\\library
-  ["[0]" /]]
- [//
-  ["[0]S" order]])
+  ["[0]" /]])
 
 (def .public (spec (open "/#[0]") random)
   (All (_ a) (-> (/.Enum a) (Random a) Test))
@@ -19,7 +19,7 @@
     (<| (_.for [/.Enum])
         (all _.and
              (_.for [/.order]
-                    (orderS.spec /#order random))
+                    (orderT.spec /#order random))
              (_.coverage [/.succ /.pred]
                (and (/#= (|> sample /#succ /#pred)
                          sample)
-- 
cgit v1.2.3