def t8_rows

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

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

import Base

988def t8_rows(+ac: Bool, nleft: Nat, +m: Nat, +tk: Nat, +tku: U32, +rot: Nat, +i: U32, +mu: U32, g: TG) -> TG:
989  match nleft:
990    case 0n:
991      g
992    case 1n+p:
993      t8_rows(ac, p, m, tk, tku, rot, (i + 1 : U32), mu, t8_cols(ac, m, tk, tku, rot, i, 0, (i * mu : U32), g))

Uses (7)

Used by (2)