Plan.why.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 626-637 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=626&end_line=637

import Base

# why an upload that bend finished does not agree: it printed no line that
# is a name, or a name that is not ours. Both numbers are named, since the
# next question is which walk drifted, and neither is reported as the
# package's name.
def why.read(+ours: String, +text: String) -> String:
  +theirs = other(ours, String.lines(text))
  Bool.pick(String, String.is_empty(theirs),
    "ez: bend printed no line that is a 0x name, so there is nothing to " ++
      "check ez's hash against. bend said:\n" ++ text,
    "ez: ez computed " ++ ours ++ " and bend published " ++ theirs ++
      ". One of the two package walks has drifted from the other, so " ++
      "neither name is safe to write down and ez has reported none.")

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=other