~/jendhub

def pts_m

bendtorch@1.3.0.0 · main.bend:3386

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

3386def pts_m(+n: U32, v: Array<U32>, +off: U32, r: UA) -> PTA:
3387  match r:
3388    case UA{m, xs}: pts_v(n, m, (off + ph_hw(n) : U32), words_out(U32.to_nat(ph_hw(n)), 0, (off + ph_hw(n) : U32), Array.get(U32, v, 0), xs))

Uses (10)

Used by (1)