Array.map.go: def of Base
Import: import Base
Lines 2614-2625 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2614&end_line=2625

import Base

def Array.map.go(
  ~T: Data, ~U: Data, ~f: T -> U, +n: Nat, +i: U32, b: Array<U>,
  r: Array<T> & T
) -> Array<U>:
  match n:
    case 0n:
      b
    case 1n+p:
      (a, x) = r
      +j = U32.inc(i)
      Array.map.go(~T, ~U, ~f, p, j, Array.set(U, b, i, f(x)),
        Array.get(T, a, j))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.inc