def ln_pair

bendtorch@1.3.0.0 · main.bend:1819

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

1819def ln_pair(-d: Nat, p: LN<d>) -> Two<TA.Mat<1n, d>, TA.Mat<1n, d>>:
1820  match p:
1821    case LN{w, b}: Two{w, b}

Uses (4)

Used by (2)