~/jendhub

def dup_fin

bendtorch@1.3.0.0 · main.bend:1550

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

1550def dup_fin(-r: Nat, -c: Nat, m: TA.MM2<r, c>) -> Two<TA.Mat<r, c>, TA.Mat<r, c>>:
1551  match m:
1552    case TA.MM2{a, b}:
1553      Two{a, b}

Uses (4)

Used by (1)