diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/pervasives.mli | 3 |
1 files changed, 2 insertions, 1 deletions
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 |