def ln_dump2

bendtorch@1.3.0.0 · main.bend:1840

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

1840def ln_dump2(-d: Nat, r: PL<Two<TA.Mat<1n, d>, TA.Mat<1n, d>>>) -> PL<LN<d>>:
1841  match r:
1842    case PL{Two{g, b}, xs}:
1843      PL{LN{g, b}, xs}