diff options
Diffstat (limited to 'stdlib/source/lux/world/db/jdbc/input.jvm.lux')
-rw-r--r-- | stdlib/source/lux/world/db/jdbc/input.jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/world/db/jdbc/input.jvm.lux b/stdlib/source/lux/world/db/jdbc/input.jvm.lux index ef9db9009..455cddd01 100644 --- a/stdlib/source/lux/world/db/jdbc/input.jvm.lux +++ b/stdlib/source/lux/world/db/jdbc/input.jvm.lux @@ -49,7 +49,7 @@ (-> a [Nat java/sql/PreparedStatement] (Error [Nat java/sql/PreparedStatement]))) -(structure: #export _ (Contravariant Input) +(structure: #export contravariant (Contravariant Input) (def: (map-1 f fb) (function (fa value circumstance) (fb (f value) circumstance)))) |