Run.tree.seen: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/run.bend as Run
Lines 46-52 of ezx@1.11.0.0/src/doctor/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/run.bend&start_line=46&end_line=52

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

# a tree whose manifest was looked for; none there is none at all
def tree.seen(got: Maybe<&2, String>, +dir: String) -> IO(DW.Answer):
  match got:
    case Some{text}:
      tree.read(dir, text)
    case None{}:
      IO.pure(DW.Answer, DW.Away{})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/run.bend&name=tree.read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Answer