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
{{ message }}
This repository was archived by the owner on May 27, 2025. It is now read-only.
throw, if list is given and an option is not in that list
(the difficult part is to figure out whether it is an option or unnamed value: e.g there is no way to tell whether -1 is an option or an unnamed value)