def ia_go

bendtorch-gpu@1.3.0.0 · main.bend:1234

import Base

1234def ia_go(left: Nat, ids: List<&2, Nat>, +i: U32, k: Nat, a: Array<F32>) -> IA:
1235  match left ids:
1236    case 1n+q Con{+id, t}: ia_go(q, t, (i + 1 : U32), 1n+k, Array.set(F32, a, i, u2f(U32.from_nat(id))))
1237    case _ _: IA{a, k}