def empty_owned

bend-collections@1.0.0.0 · src/containers/dynamic_array.bend:501

import Base

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