InfiniteTupleFunctions2(A, B)ΒΆ

ituple.spad line 36

Functions defined on streams with entries in two sets.

map: (A -> B, InfiniteTuple A) -> InfiniteTuple B
map(f, [x0, x1, x2, ...]) returns [f(x0), f(x1), f(x2), ..].