~/jendhub

def zip_fin

bendtorch-fast@1.3.0.0 · main.bend:199

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
import bend-ml-tensor-fork@0.1.5.0/main.bend as TF

199def zip_fin(-r: Nat, -c: Nat, q: TF.B2<F32, F32>) -> TA.MPair<r, c>:
200  match q:
201    case TF.B2{a, b}:
202      TA.MPair{TA.Mat{a}, TA.Mat{b}}

Uses (5)

Used by (1)