Can you explain what the declaration T: int means in the code?

The declaration T: int in Python code is usually encountered in the context of type annotations, especially when using Generic types from the typing module.

If T is a type parameter, then T: int means a bound for this type parameter, i.e., T must be a subtype of int.

Example:

from typing import TypeVar

T = TypeVar('T', bound=int)  # T can be int or a subclass of int

def add_one(x: T) -> T:
    return x + 1

Here, T: int sets a constraint that the type parameter T must be related to the int type. This helps static analyzers and IDEs better understand types and prevent errors.