Step.read.more: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/step.bend as Step
Lines 20-26 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=20&end_line=26

import Base

# a chunk that is empty ends the file; any other is appended
def read.more(empty: Bool, text: String, got: String) -> Read:
  match empty:
    case True{}:
      ReadStop{Done{got}}
    case False{}:
      ReadMore{got ++ text}

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