~/jendhub

def sources.heard

ezx@1.11.0.0 · src/lock/up.bend:460

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

460# the sources a question was answered with
461def sources.heard(got: Heard, ask: Ask) -> Srcs:
462  match got:
463    case Open{}:
464      SrcsWait{ask}
465    case Heard{answer}:
466      sources.of(answer)

Uses (4)

Used by (1)