def mul2_f3

bendtorch@1.3.0.0 · main.bend:2220

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

2220def mul2_f3(-n: Nat, -c: Nat, a2: TA.Mat<n, c>, b2: TA.Mat<n, c>, r: TA.MPair<n, c>) -> Fwd<Unit, TA.Mat<n, c>, Two<TA.Mat<n, c>, TA.Mat<n, c>>>:
2221  match r:
2222    case TA.MPair{y, b}:
2223      Fwd{Unit{}, y, Two{a2, b2}}

Uses (6)

Used by (2)