def grown

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

import Base

109# Doubling: the old tree becomes the left half of a tree one level deeper.
110def grown(-T: Data, +depth: Nat, arr: Array<Maybe<&2, T>>) -> Array<Maybe<&2, T>>:
111  ANode{arr, empty_slots(T, depth)}