StreamFunctions1 SΒΆ

stream.spad line 1119

Functions defined on streams with entries in one set.

concat: Stream Stream S -> Stream S
concat(u) returns the left-to-right concatentation of the streams in u. Note: concat(u) = reduce(concat, u).