diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/world/output/video/resolution.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 378352c57..0775b263e 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -42,14 +42,14 @@ (Set /.Resolution) (set.of_list /.hash ..listing)) - (def: #export random + (def: .public random (Random /.Resolution) (let [count (list.size ..listing)] (do {! random.monad} [choice (\ ! map (n.% count) random.nat)] (in (maybe.assume (list.item choice ..listing)))))) - (def: #export test + (def: .public test Test (<| (_.covering /._) (_.for [/.Resolution]) |