def with_limit_owned

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

import Base

513def with_limit_owned(~T: Type, +k: Nat) -> DynArray<&1, T>:
514  DA{clamp_limit(k, Nat.is_lt(k, max_depth())), 0n, 1n, 0n, empty_owned(~T, 0n)}