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()