def Array.map
import Base2638def Array.map(~T: Data, ~U: Data, ~f: T -> U, a: Array<T>) -> Array<U>:
2639 Array.map.seed(~T, ~U, ~f, Array.get(T, a, 0))
Uses (3)
Used by (0)
No other definition uses this definition.
import Base2638def Array.map(~T: Data, ~U: Data, ~f: T -> U, a: Array<T>) -> Array<U>:
2639 Array.map.seed(~T, ~U, ~f, Array.get(T, a, 0))
No other definition uses this definition.