![]() In particular, add type hints for get_success and friends, which are then helpful in a bunch of places. |
||
---|---|---|
.. | ||
main | ||
__init__.py |
![]() In particular, add type hints for get_success and friends, which are then helpful in a bunch of places. |
||
---|---|---|
.. | ||
main | ||
__init__.py |