diff options
author | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
commit | 91a1f21f3c75750217d272554bc8a341f075f82d (patch) | |
tree | 5e745cea303450fa61f931d4a4be6b6fa1e279a2 /stdlib/source/test/lux.lux | |
parent | d656ef2143151a1d78768df4562e5275dff67b9d (diff) |
Now documenting dependers and dependees.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 916f1dbc2..29e2725cf 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -895,7 +895,8 @@ item/1 random.nat item/2 random.nat] (all _.and - (_.coverage [/.Either] + (_.coverage [/.Either + /.#Left /.#Right] (and (exec (is (/.Either Nat Text) {.#Left left}) |