https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-father-404

11/11/2019, 4:59 PM
Also
type_checked
and
partially_type_checked
are treated the same by our MyPy.py script. The only difference is so that we can track when something is 100% typed