def pts_v

bendtorch@1.3.0.0 · main.bend:3382

import Base

3382def pts_v(+n: U32, m: Array<U32>, +off: U32, r: UA) -> PTA:
3383  match r:
3384    case UA{v, xs}: PTA{PLeaf{n, m, v}, xs, (off + ph_hw(n) : U32)}