Member predicate Routing::Node::definitelyResumesDispatch
Like mayResumeDispatch
but without the assumption that functions with an unknown
implementation invoke their continuation.
predicate definitelyResumesDispatch()
Like mayResumeDispatch
but without the assumption that functions with an unknown
implementation invoke their continuation.
predicate definitelyResumesDispatch()