def t8_lrows

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

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

import Base

1007def t8_lrows(nleft: Nat, +m: Nat, +tk: Nat, +tku: U32, +rot: Nat, +i: U32, l: TL) -> TL:
1008  match nleft l:
1009    case 0n l:
1010      l
1011    case 1n+p TL{a, b, out}:
1012      t8_lrows(p, m, tk, tku, rot, (i + 1 : U32), t8_lcols(Nat.sub(m, 1n), tk, tku, rot, i, 0, out, t8_cell(tk, tku, rot, i, 0, a, b)))

Uses (7)

Used by (2)