Fix mypy
errors and rename NamedTuple
fields in gym.py
#199
Merged
tianyizheng02 merged 2 commits intodevfrom mypy-gymAug 25, 2024
mypy
errors and rename NamedTuple
fields in gym.py
#199