Line.dec.lead: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 157-174 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=157&end_line=174

import Base

# one sequence at a lead byte of width w, then `go` on what follows
def dec.lead(
  +byte: U32,
  tail: List<&2, U32>,
  wid: Width,
  go: List<&2, U32> -> String
) -> String:
  match wid:
    case W1{}:
      SCon{Chr{byte}, go(tail)}
    case W2{}:
      dec.two(byte, tail, go)
    case W3{}:
      dec.three(byte, tail, go)
    case W4{}:
      dec.four(byte, tail, go)
    case W0{}:
      SCon{bad(), go(tail)}

Uses (9):
  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=Width
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=bad
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=dec.four
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=dec.three
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/line.bend&name=dec.two