def ask.enqueue

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

import Base

1171# From another fiber: adds a job due at deadline, and answers its ticket id once the record is durable.
1172# The answer comes when the fiber that owns the runner reads the inbox, in tick or drain.
1173def ask.enqueue(-A: Data, +ib: Chan(Msg<A>), +deadline: Nat, x: A) -> IO(Out(Nat)):
1174  ask(A, Nat, ib, rep => Add{deadline, x, rep})