def parse

bend-kit-csv@0.3.0.0 · csv.bend:216

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

216# Every record, or Fail with the offset of the first bad byte.
217def parse(b: Bytes.Bytes) -> Result<&1, &1, U32, List<&1, List<&1, Bytes.Bytes>>>:
218  Bytes.Bytes{+len, buf} = b
219  parse.go(U32.to_nat((len + 1 : U32)), next(Cur{Bytes.Bytes{len, buf}, 0}), Nil{})