7f918cf1 CE |
1 | signature TEXT_STREAM_IO_1997 = |
2 | sig |
3 | include STREAM_IO_1997 |
4 | where type vector = CharVector.vector |
5 | where type elem = Char.char |
6 | |
7 | val inputLine: instream -> string * instream |
8 | (* |
9 | val outputSubstr: outstream * substring -> unit |
10 | *) |
11 | end |