~/jendhub

def grow_until_owned

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

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

625def grow_until_owned(~T: Type, fuel: Nat, +n: Nat, st: DynArray<&1, T>) -> DynArray<&1, T>:
626  match fuel:
627    case 0n:
628      st
629    case 1n+f:
630      grow_until_owned(~T, f, n, grow_step_owned(~T, n, st))

Uses (3)

Used by (1)