def ptlv_m

bendtorch@1.3.0.0 · main.bend:3423

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

3423def ptlv_m(+n: U32, +off: U32, r: UA) -> PTA:
3424  match r:
3425    case UA{m, xs}: ptlv_v(n, m, (off + ph_hw(n) : U32), load_cells(U32.to_nat(n), 0, (off + ph_hw(n) : U32), Array.get(F32, xs, (off + ph_hw(n) : U32)), Array.new(F32, depth(U32.to_nat(n)), 0.0)))

Uses (12)

Used by (1)