You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add a new API async_continue(act, ..., f) which in addition to the existing async(act, ...) takes a function which is to be called as the continuation for the executed action act.
The text was updated successfully, but these errors were encountered:
Add a new API
async_continue(act, ..., f)
which in addition to the existingasync(act, ...)
takes a function which is to be called as the continuation for the executed actionact
.The text was updated successfully, but these errors were encountered: