def mmul_tn_fin

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

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

import Base

1180def mmul_tn_fin(-n: Nat, -k: Nat, -m: Nat, g: G) -> MMulTN<n, k, m>:
1181  match g:
1182    case G{a, b, c}:
1183      MMulTN{Mat{a}, Mat{b}, Mat{c}}

Uses (4)

Used by (4)