Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature IO_1997 = |
2 | sig | |
3 | exception Io of {cause: exn, | |
4 | function: string, | |
5 | name: string} | |
6 | exception BlockingNotSupported | |
7 | exception NonblockingNotSupported | |
8 | exception RandomAccessNotSupported | |
9 | exception TerminatedStream | |
10 | exception ClosedStream | |
11 | datatype buffer_mode = NO_BUF | LINE_BUF | BLOCK_BUF | |
12 | end |