File: simple-wasi.wit

package info (click to toggle)
rust-wasmtime 28.0.1%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 54,120 kB
  • sloc: ansic: 4,071; sh: 567; javascript: 548; cpp: 280; asm: 175; ml: 96; makefile: 55
file content (23 lines) | stat: -rw-r--r-- 318 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
package foo:foo;

interface wasi-filesystem {
  record descriptor-stat {
  }

  enum errno { e }


  create-directory-at: func() -> result<_, errno>;

  stat: func() -> result<descriptor-stat, errno>;
}

interface wall-clock {
  record wall-clock {
  }
}

world wasi {
  import wasi-filesystem;
  import wall-clock;
}