def Array.new

Base · base.bend:2570

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