~/jendhub

def seen.heard

ezx@1.11.0.0 · src/pub/plan.bend:981

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

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

Uses (5)

Used by (1)