diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/collection/queue/priority.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 106884fa1..9013b4a44 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -15,7 +15,7 @@ [\\library ["[0]" / (.only Queue)]]) -(def: .public (random size) +(def .public (random size) (-> Nat (Random (Queue Nat))) (do [! random.monad] [inputs (random.list size random.nat)] @@ -26,7 +26,7 @@ /.empty inputs))) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Queue]) |