File: flags.witx

package info (click to toggle)
rust-wasmtime 26.0.1%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 48,492 kB
  • sloc: ansic: 4,003; sh: 561; javascript: 542; cpp: 254; asm: 175; ml: 96; makefile: 55
file content (15 lines) | stat: -rw-r--r-- 327 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(use "errno.witx")

(typename $car_config
  (flags (@witx repr u8)
    $automatic
    $awd
    $suv))

(module $flags
  (@interface func (export "configure_car")
    (param $old_config $car_config)
    (param $old_config_by_ptr (@witx const_pointer $car_config))
    (result $error (expected $car_config (error $errno)))
  )
)