def sl_row

bend-ml-tensor-array@0.1.19.0 · main.bend:1268

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1268# d[di..] = src[si..], k numbers; r holds src[si], already read
1269def sl_row(k: Nat, +si: U32, +di: U32, d: Array<F32>, r: Array<F32> & F32) -> SL:
1270  match k r:
1271    case 0n Tuple{a, x}: SL{a, d}
1272    case 1n+p Tuple{a, +x}: sl_row(p, (si + 1 : U32), (di + 1 : U32), Array.set(F32, d, di, x), Array.get(F32, a, (si + 1 : U32)))

Uses (10)

Used by (3)