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
An AO can exit from any of its steps via return/throw/?. Sometimes I want to see them highlighted in the same way we highlight occurrences of aliases. I think clicking on any return/throw in the algorithm should highlight all exits (including ?).