diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/type.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index a2b5926e5..003123f40 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -16,7 +16,7 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Type) (all random.either (all random.either @@ -28,7 +28,7 @@ (random#in /.sha-1)) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Type] |