def Array.map.seed

import Base

2634def Array.map.seed(~T: Data, ~U: Data, ~f: T -> U, r: Array<T> & T) -> Array<U>:
2635  (a, x) = r
2636  Array.map.at(~T, ~U, ~f, f(x), Array.size(T, a))

Uses (5)

Pair
Sigma
Array
Array.size
Array.map.at

Used by (1)

Array.map