type MMulNT

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

import Base

845type MMulNT<-n: Nat, -k: Nat, -m: Nat> is Type:
846  MMulNT{a: Mat<n, k>, b: Mat<m, k>, c: Mat<n, m>}