1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
(.module: [lux #* ["_" test (#+ Test)] [abstract [monad (#+ do)]] [control ["." try]] [data ["." text ("#\." equivalence)]] [math ["." random (#+ Random)] [number ["." nat] ["." frac]]]] {1 ["." /]}) (def: #export test Test (do {! random.monad} [] (<| (_.covering /._) (_.test "TBD" true))))