@type t() :: %File.Stat{
  access: :read | :write | :read_write | :none,
  atime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  ctime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  gid: non_neg_integer(),
  inode: non_neg_integer(),
  links: non_neg_integer(),
  major_device: non_neg_integer(),
  minor_device: non_neg_integer(),
  mode: non_neg_integer(),
  mtime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  size: non_neg_integer(),
  type: :device | :directory | :regular | :other | :symlink,
  uid: non_neg_integer()
}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t() :: %File.Stat{
  access: :read | :write | :read_write | :none,
  atime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  ctime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  gid: non_neg_integer(),
  inode: non_neg_integer(),
  links: non_neg_integer(),
  major_device: non_neg_integer(),
  minor_device: non_neg_integer(),
  mode: non_neg_integer(),
  mtime: TypeCheck.DefaultOverrides.Erlang.Calendar.datetime() | integer(),
  size: non_neg_integer(),
  type: :device | :directory | :regular | :other | :symlink,
  uid: non_neg_integer()
}