~/jendhub

def next.at

bend-kit-llm@0.13.0.1 · sse.bend:285

import bend-kit-llm@0.13.0.1/sse.bend as Sse
import Base

285def next.at(+len: U32, +seen: U32, st: St, r: Array<U32> & U32 & Bool) -> Reader & Next:
286  (a, +pos, cr) = r
287  loop(Nat.add(U32.to_nat((len - pos : U32)), 2n), line(a, len, pos, seen, cr, st), len)

Uses (13)

Used by (1)