Plan.tree.how: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 525-538 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=525&end_line=538

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L

# how a tree read from BEND_LIB arrived, as the lock judges it. A git
# package's tree under BEND_LIB is one `ez lock` reads from there too. A hub
# package's is one `ez lock` would have the hub serve: its name is the digest
# of its manifest and each file is checked against its sum, so bytes that pass
# are the bytes the hub serves under that name, and bytes that do not are
# refused either way.
def tree.how(src: L.Src) -> W.How:
  match src:
    case L.Hub{}:
      W.Served{}
    case L.Git{_url, _rev, _entry, _root, _nar, _tag}:
      W.Lib{}
    case L.Member{_path, _entry}:
      W.Lib{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=How