def ln_dump

bendtorch@1.3.0.0 · main.bend:1845

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

1845def ln_dump(+d: Nat, p: LN<d>) -> PL<LN<d>>:
1846  match p:
1847    case LN{g, b}:
1848      ln_dump2(d, pl_pair(TA.Mat<1n, d>, TA.Mat<1n, d>, Mat.dump(1n, d, g), Mat.dump(1n, d, b)))

Uses (7)

Used by (3)