Device

WASI Preview1 type $device

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.

Definition:

(typename $device u64)