Plan.co.heard: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 241-246 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=241&end_line=246

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

def co.heard(got: Up.Heard) -> Co:
  match got:
    case Up.Open{}:
      CoWait{}
    case Up.Heard{answer}:
      co.of(answer)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Co
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=co.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Heard