~/jendhub

def grow_until_at

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

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

395def grow_until_at(~T: Data, fuel: Nat, +n: Nat, st: DynArray<&2, T>) -> DynArray<&2, T>:
396  match fuel:
397    case 0n:
398      st
399    case 1n+f:
400      grow_until_at(~T, f, n, grow_step_at(~T, n, st))

Uses (3)

Used by (1)