module type Iofile =Signature of a module to access to files.sig
..end
type
file_descr
type
open_flag =
| |
O_RDONLY |
| |
O_WRONLY |
| |
O_RDWR |
| |
O_CREAT |
| |
O_TRUNC |
typefile_perm =
int
type
seek_command =
| |
SEEK_SET |
| |
SEEK_CUR |
| |
SEEK_END |
val openfile : string ->
open_flag list ->
file_perm -> file_descr
val close : file_descr -> unit
val read : file_descr -> string -> int -> int -> int
val lseek : file_descr -> int -> seek_command -> int