The standard library Stream api defines access to part of the mythryl-yacc parser-generator support infrastructure.
The Stream api is implemented by the stream package.
The Stream api source code is in src/app/yacc/lib/base.api.
The above information is manually maintained and may contain errors.
api {
Stream X;
streamify : (Void -> X) -> Stream(X );
cons : (X , Stream(X )) -> Stream(X );
get : Stream(X ) -> (X , Stream(X ));};