the same behaviour as Instream.input1. *) val lookahead: StreamPair -? string (* lookahead io; returns a single character from io. Has the same behaviour as the pervasive lookahead if there isn't a character available. *) val eof: StreamPair -? bool (* eo (0)

by Has
Venue:SEE ALSO AsciiOrdString, LexOrdString, STRINGTYPE, STRINGPARSE, STRINGLISTOPS. NOTES Possibly