~/jendhub

def ew2_fin

bendtorch@1.3.0.0 · main.bend:187

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

187def ew2_fin(-r: Nat, -c: Nat, p: TA.P2) -> TA.MPair<r, c>:
188  match p:
189    case TA.P2{a, b}:
190      TA.MPair{TA.Mat{a}, TA.Mat{b}}

Uses (4)

Used by (1)