~/jendhub

def rows_out

bendtorch@1.3.0.0 · main.bend:2498

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

2498# rows r0.. (t of them, c wide) of src into a new array, src handed back
2499def rows_out(+t: Nat, +c: Nat, +r0: Nat, src: Array<F32>) -> A2:
2500  copy_n(Nat.sub(Nat.mul(t, c), 1n), U32.from_nat(Nat.mul(r0, c)), 0, zeros_a(Nat.mul(t, c)), Array.get(F32, src, U32.from_nat(Nat.mul(r0, c))))

Uses (10)

Used by (0)

No other definition uses this definition.