state : ('a,'b) istream -> 'b
STRUCTURE
Lib
SYNOPSIS
Project the state of an istream.
DESCRIPTION
An application state istrm yields the value of the current state of istrm.
FAILURE
If the projection function supplied when building the stream fails on the current element of the state.
EXAMPLE
- val istrm = mk_istream (fn x => x+1) 0 (concat "gsym" o int_to_string);
> val it = <istream> : (int, string) istream

- state istrm;
> val it = "gsym0" : string

- next (next istrm);
> val it = <istream> : (int, string) istream

- state istrm;
> val it = "gsym2" : string

SEEALSO
mk_istream, next, reset
HOL  Kananaskis-14