type MMulTN
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
850type MMulTN<-n: Nat, -k: Nat, -m: Nat> is Type:
851 MMulTN{a: Mat<k, n>, b: Mat<k, m>, c: Mat<n, m>}
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
850type MMulTN<-n: Nat, -k: Nat, -m: Nat> is Type:
851 MMulTN{a: Mat<k, n>, b: Mat<k, m>, c: Mat<n, m>}