def mmul_nt_fin

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

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

import Base

1175def mmul_nt_fin(-n: Nat, -k: Nat, -m: Nat, g: G) -> MMulNT<n, k, m>:
1176  match g:
1177    case G{a, b, c}:
1178      MMulNT{Mat{a}, Mat{b}, Mat{c}}

Uses (4)

Used by (4)