Plan.agreed.answer: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 606-613 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=606&end_line=613

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

# whether an upload's answer agrees with ez's hash: bend exited 0, and its
# output agrees (`agrees`)
def agreed.answer(got: PW.Answer, +ours: String) -> Bool:
  match got:
    case PW.Ran{ok, text}:
      Bool.and(ok, agrees(ours, String.lines(text)))
    case PW.Told{_t}:
      False{}

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