You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
277 B
18 lines
277 B
(use "errno.witx")
|
|
|
|
(typename $cookie
|
|
(int u64
|
|
(const $start 0)))
|
|
|
|
(typename $bool
|
|
(enum u8
|
|
$false
|
|
$true))
|
|
|
|
(module $ints
|
|
(@interface func (export "cookie_cutter")
|
|
(param $init_cookie $cookie)
|
|
(result $error $errno)
|
|
(result $is_start $bool)
|
|
)
|
|
)
|
|
|