StreamFunctions1(S)

stream.spad line 1174 [edit on github]

• S : Type

Functions defined on streams with entries in one set.

concat : Stream(Stream(S)) -> Stream(S)

concat(u) returns the left-to-right concatenation of the streams in u. Note: concat(u) = reduce(concat, u).