Predicate succExit
Holds if last with completion c can exit scope.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplpredicate succExit(CfgScopeImpl scope, AstNode last, Completion c)Holds if last with completion c can exit scope.
import codeql.ruby.controlflow.internal.ControlFlowGraphImplpredicate succExit(CfgScopeImpl scope, AstNode last, Completion c)