Type Definition wasi::Device

type Device = u64;