def with_limit_at

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

import Base

323def with_limit_at(~T: Data, +k: Nat) -> DynArray<&2, T>:
324  DA{clamp_limit(k, Nat.is_lt(k, max_depth())), 0n, 1n, 0n, empty_slots_at(~T, 0n)}