diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/ordered.lux | 33 |
1 files changed, 17 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 385bc3c4a..0a6b441b7 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - [order (#+ Order)] - [\spec - ["$." equivalence]]] - [data - ["." bit ("#\." equivalence)] - [collection - ["." list]]] - [math - ["." random (#+ Random) ("#\." monad)] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [monad (#+ do)] + [order (#+ Order)] + [\\spec + ["$." equivalence]]] + [data + ["." bit ("#\." equivalence)] + [collection + ["." list]]] + [math + ["." random (#+ Random) ("#\." monad)] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Set) ["." //]]]) |