def tree.seen

ezx@1.11.0.0 · src/doctor/run.bend:46

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

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