def t8_lcols

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

import Base

999# cells j.. of row i, m - j of them; r is cell j, already computed
1000def t8_lcols(mleft: Nat, +tk: Nat, +tku: U32, +rot: Nat, +i: U32, +j: U32, out: List<&2, F32>, r: TR) -> TL:
1001  match mleft r:
1002    case 0n TR{a, b, +x}:
1003      TL{a, b, x <> out}
1004    case 1n+p TR{a, b, +x}:
1005      t8_lcols(p, tk, tku, rot, i, (j + 1 : U32), x <> out, t8_cell(tk, tku, rot, i, (j + 1 : U32), a, b))