def checkout
import ezx@1.11.0.0/src/lock/up.bend as Upimport Base
351# the same, looked up among the answers
352def checkout(rs: List<&2, Reply>, +ask: Ask) -> Co:
353 checkout.heard(heard(rs, ask), ask)
import ezx@1.11.0.0/src/lock/up.bend as Upimport Base
351# the same, looked up among the answers
352def checkout(rs: List<&2, Reply>, +ask: Ask) -> Co:
353 checkout.heard(heard(rs, ask), ask)