diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/equivalence.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/equivalence.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux index 4d6d0900a..e6ef85b11 100644 --- a/stdlib/source/specification/lux/abstract/equivalence.lux +++ b/stdlib/source/specification/lux/abstract/equivalence.lux @@ -9,7 +9,7 @@ [\\library ["." / (#+ Equivalence)]]) -(def: #export (spec (^open "_//.") random) +(def: .public (spec (^open "_//.") random) (All [a] (-> (Equivalence a) (Random a) Test)) (do random.monad [left random |