module LargeFile:ラージファイルの操作。sig
..end
この下位モジュールではファイル上の位置とファイルサイズを 64 ビットであつかうチャネル関数を提供します。
位置とサイズを通常の整数(int
型)ではなく 64 ビット整数(int64
型)で表わすことにより、これらの関数ではサイズが max_int
よりも大きいファイルを操作することができます。
val seek_out : out_channel -> int64 -> unit
val pos_out : out_channel -> int64
val out_channel_length : out_channel -> int64
val seek_in : in_channel -> int64 -> unit
val pos_in : in_channel -> int64
val in_channel_length : in_channel -> int64