sourCEntral - mobile manpages

pdf

Pervasives.LargeFile

NAME

Pervasives.LargeFile − Operations on large files.

Module

Module Pervasives.LargeFile

Documentation

Module LargeFile
: sig end

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 operating on files whose sizes are greater than max_int .

val seek_out : Pervasives.out_channel -> int64 -> unit

val pos_out : Pervasives.out_channel -> int64

val out_channel_length : Pervasives.out_channel -> int64

val seek_in : Pervasives.in_channel -> int64 -> unit

val pos_in : Pervasives.in_channel -> int64

val in_channel_length : Pervasives.in_channel -> int64

pdf