~/jendhub

def mpair_a

bendtorch@1.3.0.0 · main.bend:2235

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

2235def mpair_a(-n: Nat, -c: Nat, r: TA.MPair<n, c>) -> TA.Mat<n, c>:
2236  match r:
2237    case TA.MPair{a, b}:
2238      a

Uses (3)

Used by (1)