def lin_dump2

bendtorch@1.3.0.0 · main.bend:668

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

668def lin_dump2(-i: Nat, -o: Nat, r: PL<Two<TA.Mat<o, i>, TA.Mat<1n, o>>>) -> PL<Lin<i, o>>:
669  match r:
670    case PL{Two{w, b}, xs}:
671      PL{Lin{w, b}, xs}