~/jendhub

def checkout.heard

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

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

343# the checkout a question was answered with
344def checkout.heard(got: Heard, ask: Ask) -> Co:
345  match got:
346    case Open{}:
347      CoWait{ask}
348    case Heard{answer}:
349      checkout.of(answer)

Uses (4)

Used by (1)