~/jendhub

def q8_mm_fin

bendtorch@1.3.0.0 · dtype.bend:492

import bendtorch@1.3.0.0/dtype.bend as Dtype
import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

492def q8_mm_fin(-n: Nat, -k: Nat, -m: Nat, st: QS) -> Q8Mul<n, k, m>:
493  match st:
494    case QS{x, q, s, y}:
495      Q8Mul{TA.Mat{x}, Q8{q, s}, TA.Mat{y}}

Uses (5)

Used by (1)