Array.new: def of Base
Import: import Base
Lines 2570-2575 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2570&end_line=2575

import Base

def Array.new(-T: Data, +d: Nat, +v: T) -> Array<T>:
  match d:
    case 0n:
      ALeaf{v}
    case 1n+p:
      ANode{[v : T^p], [v : T^p]}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat