~/jendhub

def add2_f

bendtorch-fast@1.3.0.0 · main.bend:297

import bendtorch-fast@1.3.0.0/main.bend as BendtorchFast
import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA
import bendtorch@1.3.0.0/main.bend as T

297def add2_f(+n: Nat, +c: Nat, x: T.Two<TA.Mat<n, c>, TA.Mat<n, c>>) -> T.Fwd<Unit, TA.Mat<n, c>, Unit>:
298  match x:
299    case T.Two{a, b}:
300      T.Fwd{Unit{}, Mat.sum2(n, c, a, b), Unit{}}

Uses (6)

Used by (1)