~/jendhub

def q8_rowsm

bendtorch@1.3.0.0 · dtype.bend:482

import bendtorch@1.3.0.0/dtype.bend as Dtype
import Base

482def q8_rowsm(nl: Nat, +i: U32, +m: Nat, +k: Nat, +ku: U32, +mu: U32, st: QS) -> QS:
483  match nl:
484    case 0n:
485      st
486    case 1n+p:
487      q8_rowsm(p, (i + 1 : U32), m, k, ku, mu, q8_cols(m, i, 0, k, ku, mu, st))

Uses (5)

Used by (1)