def gw

bendtorch@1.3.0.0 · main.bend:2615

import Base

2615# xs written into g from idx, counted onto n
2616def gw(xs: List<&2, F32>, +idx: U32, n: Nat, g: Array<F32>) -> GN:
2617  match xs:
2618    case Nil{}:
2619      GN{g, n}
2620    case Con{x, t}:
2621      gw(t, (idx + 1 : U32), 1n+n, Array.set(F32, g, idx, x))