DynamicArray.empty_owned: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArray
Lines 501-508 of bend-collections@1.0.0.0/src/containers/dynamic_array.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/dynamic_array.bend&start_line=501&end_line=508

import Base

# Stock Array.new requires Data. This fresh-empty initializer is O(c log c)
# in the native backend because ANode merges blocks; see ownership docs.
def empty_owned(~T: Type, depth: Nat) -> Array<Maybe<&1, T>>:
  match depth:
    case 0n:
      ALeaf{None{}}
    case 1n+ +p:
      ANode{empty_owned(~T, p), empty_owned(~T, p)}

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