def mpair_fin

bend-ml-tensor-array@0.1.19.0 · main.bend:1335

import Base

1335def mpair_fin(-r: Nat, -c: Nat, p: P2) -> MPair<r, c>:
1336  match p:
1337    case P2{a, b}:
1338      MPair{Mat{a}, Mat{b}}