~/jendhub

def co.heard

ezx@1.11.0.0 · src/add/plan.bend:241

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

241def co.heard(got: Up.Heard) -> Co:
242  match got:
243    case Up.Open{}:
244      CoWait{}
245    case Up.Heard{answer}:
246      co.of(answer)

Uses (3)

Used by (1)