def t8_cols

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

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

import Base

981def t8_cols(+ac: Bool, mleft: Nat, +tk: Nat, +tku: U32, +rot: Nat, +i: U32, +j: U32, +cidx: U32, g: TG) -> TG:
982  match mleft g:
983    case 0n g:
984      g
985    case 1n+p TG{a, b, c}:
986      t8_cols(ac, p, tk, tku, rot, i, (j + 1 : U32), (cidx + 1 : U32), t8_set(ac, cidx, c, t8_cell(tk, tku, rot, i, j, a, b)))

Uses (7)

Used by (2)