ty is an extremely fast Python type checker and language server written in Rust, designed to enhance...