~/jendhub

def ptl_m

bendtorch@1.3.0.0 · main.bend:3415

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

3415def ptl_m(+n: U32, +off: U32, r: UA) -> PTA:
3416  match r:
3417    case UA{m, xs}: ptl_v(n, m, (off + ph_hw(n) : U32), words_in(U32.to_nat(ph_hw(n)), 0, (off + ph_hw(n) : U32), Array.get(F32, xs, (off + ph_hw(n) : U32)), ph_words(U32.to_nat(n))))

Uses (11)

Used by (1)