atoms.witx

(use "errno.witx")

(typename $alias_to_float f32)

(module $atoms
  (@interface func (export "int_float_args")
    (param $an_int u32)
    (param $an_float f32)
    (result $error (expected (error $errno))))
  (@interface func (export "double_int_return_float")
    (param $an_int u32)
    (result $error (expected $alias_to_float (error $errno))))
)