B | |
| buf_rd_wr [Seqdb_rdwr] |
Buffered
reader_writer accessing the passed file descriptor.
|
I | |
| input_channel [Seqdb_fsys_helpers] | let ch = new input_channel fsys file: Creates an input channel ch
that reads from the file
|
M | |
| managed_descr [Seqdb_rdwr] |
A sample implementation of
disposable_descr.
|
O | |
| output_channel [Seqdb_fsys_helpers] | let ch = new output_channel fsys file: Creates an output channel ch
that writes to the file
|
S | |
| sub_rd_wr [Seqdb_rdwr] |
View on the passed
reader_writer: The size of the file is assumed to
only be the passed number, or if it is written beyond the old
assumed size, the written size.
|