def new_owned

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

import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArray
import Base

510def new_owned(~T: Type) -> DynArray<&1, T>:
511  DA{max_depth(), 0n, 1n, 0n, empty_owned(~T, 0n)}

Uses (3)

Used by (0)

No other definition uses this definition.