diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/ffi/export.rb.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/ffi/export.rb.lux b/stdlib/source/test/lux/ffi/export.rb.lux index f107536f2..3b17b4c2c 100644 --- a/stdlib/source/test/lux/ffi/export.rb.lux +++ b/stdlib/source/test/lux/ffi/export.rb.lux @@ -12,16 +12,16 @@ (with_expansions [<nat> (static.random_nat)] (/.export - (def: nullary + (def nullary Nat <nat>) - (def: unary + (def unary (-> Nat Nat) (|>> (n.+ <nat>))) - (def: CONSTANT + (def CONSTANT Nat <nat>) - (def: $global + (def $global (-> Nat Nat) (|>> (n.+ <nat>)))) @@ -30,7 +30,7 @@ (//.import (CONSTANT Nat)) (//.import ($global (-> Nat Nat))) - (def: .public test + (def .public test Test (<| (_.covering /._) (all _.and |