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