type MMul

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

import Base

840type MMul<-n: Nat, -k: Nat, -m: Nat> is Type:
841  MMul{a: Mat<n, k>, b: Mat<k, m>, c: Mat<n, m>}