basis-library/io/text-stream-io.sig

   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