~/jendhub

def g_add_fin

bendtorch@1.3.0.0 · main.bend:1541

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

1541def g_add_fin(-r: Nat, -c: Nat, r2: TA.MPair<r, c>) -> TA.Mat<r, c>:
1542  match r2:
1543    case TA.MPair{a, b}:
1544      a

Uses (3)

Used by (1)