def pt_next

bendtorch@1.3.0.0 · main.bend:3444

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

3444# the tag at off and the cell after it, to a continuation
3445def pt_next(+off: U32, r: Array<F32> & F32, k: PK -> (Array<F32> & F32) -> PTA) -> PTA:
3446  match r:
3447    case Tuple{xs, x}: k(pt_kind(ph_f2u(x)), Array.get(F32, xs, (off + 1 : U32)))

Uses (11)

Used by (2)