def load_cells

bendtorch@1.3.0.0 · main.bend:553

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

553def load_cells(left: Nat, +i: U32, +off: U32, rx: Array<F32> & F32, dst: Array<F32>) -> TA.P2:
554  match left rx:
555    case 0n Tuple{xs, v}: TA.P2{xs, dst}
556    case 1n+q Tuple{xs, v}:
557      load_cells(q, (i + 1 : U32), (off + 1 : U32), Array.get(F32, xs, (off + 1 : U32)), Array.set(F32, dst, i, v))