Implement a new use syntax

phases/ephemeral/witx/wasi_ephemeral_args.witx

@@ -3,12 +3,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $errno $size from $typenames)
 
 (module $wasi_ephemeral_args
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Read command-line argument data.
   ;;; The size of the array should match that returned by `sizes_get`.
   ;;; Each argument is expected to be `\0` terminated.

phases/ephemeral/witx/wasi_ephemeral_clock.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $clockid $timestamp $errno from $typenames)
 
 (module $wasi_ephemeral_clock
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Return the resolution of a clock.
   ;;; Implementations are required to provide a non-zero value for supported clocks. For unsupported clocks,
   ;;; return `errno::inval`.

phases/ephemeral/witx/wasi_ephemeral_environ.witx

@@ -3,12 +3,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $errno $size from $typenames)
 
 (module $wasi_ephemeral_environ
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Read environment variable data.
   ;;; The sizes of the buffers should match that returned by `sizes_get`.
   ;;; Key/value pairs are expected to be joined with `=`s, and terminated with `\0`s.

phases/ephemeral/witx/wasi_ephemeral_fd.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use * from $typenames)
 
 (module $wasi_ephemeral_fd
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Provide file advisory information on a file descriptor.
   ;;; Note: This is similar to `posix_fadvise` in POSIX.
   (@interface func (export "advise")

phases/ephemeral/witx/wasi_ephemeral_path.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use * from $typenames)
 
 (module $wasi_ephemeral_path
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Create a directory.
   ;;; Note: This is similar to `mkdirat` in POSIX.
   (@interface func (export "create_directory")

phases/ephemeral/witx/wasi_ephemeral_poll.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $event $subscription $size $errno from $typenames)
 
 (module $wasi_ephemeral_poll
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Concurrently poll for the occurrence of a set of events.
   ;;;
   ;;; If `nsubscriptions` is 0, returns `errno::inval`.

phases/ephemeral/witx/wasi_ephemeral_proc.witx

@@ -5,7 +5,7 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $exitcode from $typenames)
 
 (module $wasi_ephemeral_proc
   ;;; Terminate the process normally. An exit code of `$exitcode::success`

phases/ephemeral/witx/wasi_ephemeral_random.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $errno $size from $typenames)
 
 (module $wasi_ephemeral_random
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Write high-quality random data into a buffer.
   ;;; This function blocks when the implementation is unable to immediately
   ;;; provide sufficient high-quality random data.

phases/ephemeral/witx/wasi_ephemeral_sched.witx

@@ -5,7 +5,7 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use $errno from $typenames)
 
 (module $wasi_ephemeral_sched
   ;;; Temporarily yield execution of the calling thread.

phases/ephemeral/witx/wasi_ephemeral_sock.witx

@@ -5,12 +5,9 @@
 ;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
 ;; for an explanation of what that means.
 
-(use "typenames.witx")
+(use * from $typenames)
 
 (module $wasi_ephemeral_sock
-  ;;; Linear memory to be accessed by WASI functions that need it.
-  (import "memory" (memory))
-
   ;;; Receive a message from a socket.
   ;;; Note: This is similar to `recv` in POSIX, though it also supports reading
   ;;; the data into multiple buffers in the manner of `readv`.