Step.read.step: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/step.bend as Step
Lines 28-34 of ezsys@0.1.0.0/src/step.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/step.bend&start_line=28&end_line=34

import Base

# what one read's answer means, with the text read before it
def read.step(res: Result<&1, &1, U32 & String, String>, got: String) -> Read:
  match res:
    case Fail{error}:
      ReadStop{Fail{error}}
    case Done{+text}:
      read.more(String.is_empty(text), text, got)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/step.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/step.bend&name=read.more