def ptsv_v

bendtorch@1.3.0.0 · main.bend:3390

import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

3390def ptsv_v(+n: U32, m: Array<U32>, +off: U32, r: TA.P2) -> PTA:
3391  match r:
3392    case TA.P2{v, xs}: PTA{PLeafV{n, m, v}, xs, (off + n : U32)}