stream.spad line 1249 [edit on github]
A: Type
B: Type
C: Type
Functions defined on streams with entries in three sets.
map(f, st1, st2) returns the stream whose elements are the function f applied to the corresponding elements of st1 and st2. Note: map(f, [x0, x1, x2, ..], [y0, y1, y2, ..]) = [f(x0, y0), f(x1, y1), ..].
map(f, st1, st2)
f
st1
st2
map(f, [x0, x1, x2, ..], [y0, y1, y2, ..]) = [f(x0, y0), f(x1, y1), ..]