Yes! Pyre adopts types from the typing module, and relies on typeshed[1] to infer types for standard library functions.

[1]: https://github.com/python/typeshed