diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/order.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/order.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux index 365164c19..7e6c7a0d2 100644 --- a/stdlib/source/specification/lux/abstract/order.lux +++ b/stdlib/source/specification/lux/abstract/order.lux @@ -9,7 +9,7 @@ [\\library ["[0]" /]]) -(def: .public (spec (open "@//[0]") generator) +(def .public (spec (open "@//[0]") generator) (All (_ a) (-> (/.Order a) (Random a) Test)) (<| (_.for [/.Order]) (all _.and |