def skip

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

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

import Base

277# After a CR that ended the last piece, an LF first belongs to that CR.
278def skip(cr: Bool, a: Array<U32>, +len: U32, +pos: U32) -> Array<U32> & U32 & Bool:
279  match cr:
280    case True{}:
281      skip.at(U32.is_lt(pos, len), a, pos)
282    case False{}:
283      (a, pos, False{})

Uses (7)

Used by (1)

bend-kit-llm@0.13.0.1/sse:next