def ptlv_v

bendtorch@1.3.0.0 · main.bend:3419

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

3419def ptlv_v(+n: U32, m: Array<U32>, +off: U32, r: TA.P2) -> PTA:
3420  match r:
3421    case TA.P2{xs, v}: PTA{PLeafV{n, m, v}, xs, (off + n : U32)}