diff options
| -rw-r--r-- | otherlibs/unix/unix.mli | 6 | ||||
| -rw-r--r-- | stdlib/pervasives.mli | 3 |
2 files changed, 5 insertions, 4 deletions
diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 6369f4e64..c9040695d 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -342,8 +342,7 @@ val fstat : file_descr -> stats descriptor. *) -(** {6 Seeking, truncating and statistics on large files} *) - +(** {6 File operations on large files} *) module LargeFile : sig @@ -368,7 +367,8 @@ module LargeFile : val lstat : string -> stats val fstat : file_descr -> stats end -(** This sub-module provides 64-bit variants of the functions +(** File operations on large files. + This sub-module provides 64-bit variants of the functions {!Unix.lseek} (for positioning a file descriptor), {!Unix.truncate} and {!Unix.ftruncate} (for changing the size of a file), and {!Unix.stat}, {!Unix.lstat} and {!Unix.fstat} (for obtaining diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index c2034c7dc..37866563f 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -744,7 +744,8 @@ module LargeFile : val pos_in : in_channel -> int64 val in_channel_length : in_channel -> int64 end -(** This sub-module provides 64-bit variants of the channel functions +(** Operations on large files. + This sub-module provides 64-bit variants of the channel functions that manipulate file positions and file sizes. By representing positions and sizes by 64-bit integers (type [int64]) instead of regular integers (type [int]), these alternate functions allow |