def ask.cancel

bend-kit-runner@0.13.0.1 · runner.bend:1176

import Base

1176# From another fiber: cancels ticket id, as cancel does. The answer comes when the owner reads the inbox.
1177def ask.cancel(-A: Data, +ib: Chan(Msg<A>), +id: Nat) -> IO(Out(Unit)):
1178  ask(A, Unit, ib, rep => Drop{id, rep})