diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/constant.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index c2756715e..0775af818 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -91,11 +91,11 @@ kind (def: .public value - (All [kind] (-> (Value kind) kind)) + (All (_ kind) (-> (Value kind) kind)) (|>> :representation)) (def: .public (value_equivalence Equivalence<kind>) - (All [kind] + (All (_ kind) (-> (Equivalence kind) (Equivalence (Value kind)))) (\ equivalence.functor each |