Def.Statval t : t Ctypes.structure S.typval st_dev : (Posix_types.dev_t, t Ctypes.structure) S.fieldval st_ino : (Posix_types.ino_t, t Ctypes.structure) S.fieldval st_mode : (Posix_types.mode_t, t Ctypes.structure) S.fieldval st_nlink : (Posix_types.nlink_t, t Ctypes.structure) S.fieldval st_uid : (Posix_types.uid_t, t Ctypes.structure) S.fieldval st_gid : (Posix_types.gid_t, t Ctypes.structure) S.fieldval st_rdev : (Posix_types.dev_t, t Ctypes.structure) S.fieldval st_size : (Posix_types.off_t, t Ctypes.structure) S.fieldval st_atim :
(Time2_types.Timespec.t Ctypes.structure, t Ctypes.structure) S.fieldval st_mtim :
(Time2_types.Timespec.t Ctypes.structure, t Ctypes.structure) S.fieldval st_ctim :
(Time2_types.Timespec.t Ctypes.structure, t Ctypes.structure) S.fieldval st_blksize : (Posix_types.blksize_t, t Ctypes.structure) S.fieldval st_blocks : (Posix_types.blkcnt_t, t Ctypes.structure) S.field