Line.decode.go: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 183-190 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=183&end_line=190

import Base

# decode with fuel: every step takes at least one byte, so a buffer's
# length is fuel enough
def decode.go(fuel: Nat, bs: List<&2, U32>) -> String:
  match fuel:
    case 0n:
      SNil{}
    case 1n+f:
      decode.step(bs, xs => decode.go(f, xs))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=ezmcp@0.1.0.0/src/line.bend&name=decode.step