Module miri::shims::unix::fs

source ·
Expand description

File and file system access


  • The table of open directories. Curiously, Unix/POSIX does not unify this into the “file descriptor” concept… everything is a file, except a directory is not?
  • FileHandle 🔒
  • Stores a file’s metadata in order to avoid code duplication in the different metadata related shims.
  • OpenDir 🔒
    An open directory, tracked by DirHandler.



  • Extracts the number of seconds and nanoseconds elapsed between time and the unix epoch when time is Ok. Returns None if time is an error. Fails if time happens before the unix epoch.