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
Currently get_args and get_origin share the same documentation paragraph:
This makes it look like get_args is undocumented. I think the two functions are different enough that it makes sense to give each its own paragraph of documentation.