Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Talk about user defined protocols first
See python#13681. The current documentation page isn't friendly because it's basically an API reference before we get to the fun bit about typing.Protocol.
- Loading branch information