Runner.rd.chars: def of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 822-834 of bend-kit-runner@0.13.0.1/runner.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-runner@0.13.0.1/runner.bend&start_line=822&end_line=834

import Base

# Each rd.* sequence reader takes the count or flag already read. fuel bounds its length: every item holds at least 4 octets.
def rd.chars(+fuel: Nat, end: Bool, +n: U32) -> Dec(String):
  match fuel end:
    case 0n b:
      Dec.fail(String)
    case 1n+f True{}:
      Dec.pure(String, SNil{})
    case 1n+f False{}:
      +k = (n - 1 : U32)
      do Dec<String>:
        c : U32 <- rd.u32()
        rest : String <- rd.chars(f, U32.is_eq(k, 0), k)
        return SCon{Chr{c}, rest}

Uses (12):
  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=Nat
  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=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.bind
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.pure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=rd.u32