def lin_pair

bendtorch@1.3.0.0 · main.bend:647

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

647def lin_pair(-i: Nat, -o: Nat, p: Lin<i, o>) -> Two<TA.Mat<o, i>, TA.Mat<1n, o>>:
648  match p:
649    case Lin{w, b}: Two{w, b}