def ptl_v

bendtorch@1.3.0.0 · main.bend:3410

import Base

3410# reading a leaf back: fresh buffers filled from xs
3411def ptl_v(+n: U32, m: Array<U32>, +off: U32, r: UA) -> PTA:
3412  match r:
3413    case UA{v, xs}: PTA{PLeaf{n, m, v}, xs, (off + ph_hw(n) : U32)}