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

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

def agreed.of(got: PW.Heard, +ours: String) -> Bool:
  match got:
    case PW.Open{}:
      False{}
    case PW.Heard{a}:
      agreed.answer(a, ours)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/pub/plan.bend&name=agreed.answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Heard