next
Lib.next : ('a,'b) istream -> ('a,'b) istream
Move to the next element in the stream.
An application next istrm moves to the next element in the stream.
Failure
If the transition function supplied when building the stream fails on the current state.
Example
> val istrm = mk_istream (fn x => x+1) 0 (strcat "gsym" o int_to_string);
val istrm = ?: (int, string) istream
> next istrm;
val it = ?: (int, string) istream
Comments
Perhaps the type of next should be ('a,'b) istream -> unit.