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

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

def seen.heard(got: PW.Heard, one: Probe, +who: String) -> Seen:
  match got:
    case PW.Open{}:
      Unasked{}
    case PW.Heard{a}:
      seen.answer(one, a, who)

Uses (5):
  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=Probe
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=seen.answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Heard