def grown_owned

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

import Base

524def grown_owned(~T: Type, +depth: Nat, arr: Array<Maybe<&1, T>>) -> Array<Maybe<&1, T>>:
525  ANode{arr, empty_owned(~T, depth)}