File tree Expand file tree Collapse file tree 1 file changed +13
-13
lines changed Expand file tree Collapse file tree 1 file changed +13
-13
lines changed Original file line number Diff line number Diff line change 11open Std
22
3- (* * Tranditional Unix permissions. *)
3+ (* * Traditional Unix permissions. *)
44module Unix_perm : sig
55 type t = int
66 (* * This is the same as {!Unix.file_perm}, but avoids a dependency on [Unix]. *)
@@ -25,18 +25,18 @@ module Stat : sig
2525 (* * Pretty printer for {! kind}. *)
2626
2727 type t = {
28- dev : Int64 .t ;
29- ino : Int64 .t ;
30- kind : kind ;
31- perm : Unix_perm .t ;
32- nlink : Int64 .t ;
33- uid : Int64 .t ;
34- gid : Int64 .t ;
35- rdev : Int64 .t ;
36- size : Optint.Int63 .t ;
37- atime : float ;
38- mtime : float ;
39- ctime : float ;
28+ dev : Int64 .t ; (* * Device containing the filesystem where the file resides. *)
29+ ino : Int64 .t ; (* * Inode number. *)
30+ kind : kind ; (* * File type. *)
31+ perm : Unix_perm .t ; (* * Permissions (mode). *)
32+ nlink : Int64 .t ; (* * Number of hard links. *)
33+ uid : Int64 .t ; (* * User ID of owner. *)
34+ gid : Int64 .t ; (* * Group ID of owner. *)
35+ rdev : Int64 .t ; (* * Device's ID (if this is a device). *)
36+ size : Optint.Int63 .t ; (* * Total size in bytes. *)
37+ atime : float ; (* * Last access time. *)
38+ mtime : float ; (* * Last modification time. *)
39+ ctime : float ; (* * Creation time. *)
4040 }
4141 (* * Like stat(2). *)
4242
You can’t perform that action at this time.
0 commit comments