diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ signature STREAM = sig (* both throw IO.Io *) val create: string -> t val createFromInstream: string -> TextIO.instream -> t + val createFromString: string -> t val getOffset: t -> fileOffset val isFirstOnLine: t -> fileOffset -> bool |