Type Definition wasmer_wasix_types::wasi::Device

source ·
pub type Device = u64;
Expand description

Identifier for a device containing a file system. Can be used in combination with inode to uniquely identify a file or directory in the filesystem.