def ln_unpair

bendtorch@1.3.0.0 · main.bend:1823

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

1823def ln_unpair(-d: Nat, p: Two<TA.Mat<1n, d>, TA.Mat<1n, d>>) -> LN<d>:
1824  match p:
1825    case Two{w, b}: LN{w, b}

Uses (4)

Used by (1)