PYTHONPATH=.

mypy 1.15.0 (compiled: yes)

Success: no issues found in 6 source files

real	0m2.291s
user	0m2.190s
sys	0m0.101s