Csv.next: def of bend-kit-csv@0.3.0.0
Import: import bend-kit-csv@0.3.0.0/csv.bend as Csv
Lines 197-200 of bend-kit-csv@0.3.0.0/csv.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-csv@0.3.0.0/csv.bend&start_line=197&end_line=200

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# The next record, End at the end of input, or Bad with the offset of the first bad byte.
def next(c: Cur) -> Next:
  Cur{Bytes.Bytes{+len, buf}, +at} = c
  next.if(U32.is_lt(at, len), len, buf, at)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-csv@0.3.0.0/csv.bend&name=Cur
  https://jend.leeeet.dev/definition.txt?path=bend-kit-csv@0.3.0.0/csv.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=bend-kit-csv@0.3.0.0/csv.bend&name=next.if