123456789101112131415161718192021222324252627282930313233343536373839404142moduleDef(S:Cstubs.Types.TYPE)=structletmode_t=S.lift_typPosix_types.mode_t(* File type mask and constants *)lets_ifmt=S.constant"S_IFMT"mode_tlets_ifreg=S.constant"S_IFREG"mode_tlets_ifdir=S.constant"S_IFDIR"mode_tlets_iflnk=S.constant"S_IFLNK"mode_tlets_ifchr=S.constant"S_IFCHR"mode_tlets_ifblk=S.constant"S_IFBLK"mode_tlets_ififo=S.constant"S_IFIFO"mode_tlets_ifsock=S.constant"S_IFSOCK"mode_t(* Special mode bits *)lets_isuid=S.constant"S_ISUID"mode_tlets_isgid=S.constant"S_ISGID"mode_tlets_isvtx=S.constant"S_ISVTX"mode_t(* Owner permissions *)lets_irwxu=S.constant"S_IRWXU"mode_tlets_irusr=S.constant"S_IRUSR"mode_tlets_iwusr=S.constant"S_IWUSR"mode_tlets_ixusr=S.constant"S_IXUSR"mode_t(* Group permissions *)lets_irwxg=S.constant"S_IRWXG"mode_tlets_irgrp=S.constant"S_IRGRP"mode_tlets_iwgrp=S.constant"S_IWGRP"mode_tlets_ixgrp=S.constant"S_IXGRP"mode_t(* Other permissions *)lets_irwxo=S.constant"S_IRWXO"mode_tlets_iroth=S.constant"S_IROTH"mode_tlets_iwoth=S.constant"S_IWOTH"mode_tlets_ixoth=S.constant"S_IXOTH"mode_t(* *at function flags *)letat_fdcwd=S.constant"AT_FDCWD"S.intletat_symlink_nofollow=S.constant"AT_SYMLINK_NOFOLLOW"S.intletat_removedir=S.constant"AT_REMOVEDIR"S.intletat_eaccess=S.constant"AT_EACCESS"S.intend