Csv.close: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/fmt/csv.bend as Csv
Lines 160-170 of cswap-bend-cli@0.1.0.0/fmt/csv.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&start_line=160&end_line=170

import Base

# The input ended: close the record in progress.
def close(m: Mode, +st: St) -> St:
  match m:
    case MStart{}:
      blank.pick(row_empty(st), st)
    case MQuoted{}:
      fail(st, "unterminated quoted field")
    case MPlain{}:
      end_both(st)
    case MClosed{}:
      end_both(st)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=blank.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=end_both
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=fail
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/csv.bend&name=row_empty