def mpair_a

bendtorch-fast@1.3.0.0 · main.bend:234

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

234def mpair_a(-r: Nat, -c: Nat, q: TA.MPair<r, c>) -> TA.Mat<r, c>:
235  match q:
236    case TA.MPair{a, b}:
237      a

Uses (3)

Used by (2)