def mmul_fin

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

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1170def mmul_fin(-n: Nat, -k: Nat, -m: Nat, g: G) -> MMul<n, k, m>:
1171  match g:
1172    case G{a, b, c}:
1173      MMul{Mat{a}, Mat{b}, Mat{c}}

Uses (4)

Used by (6)