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

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.map.at
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.size
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma