Line.dec.take: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 114-128 of ezmcp@0.1.0.0/src/line.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/line.bend&start_line=114&end_line=128

import Base

# a sequence whose continuation bytes are all valid is its char, and the
# decoding goes on after it; else the lead byte is U+FFFD and the decoding
# goes on at the byte after it
def dec.take(
  ch: Char,
  ok: Bool,
  after_lead: List<&2, U32>,
  after_seq: List<&2, U32>,
  go: List<&2, U32> -> String
) -> String:
  match ok:
    case True{}:
      SCon{ch, go(after_seq)}
    case False{}:
      SCon{bad(), go(after_lead)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=bad