tree 9c3ca756b5a96195e0ce8336ef36a68e9e576245
parent 4aebb8d936487ed96fda96b5de24349c1f3f0e88
author Gilles Peskine <Gilles.Peskine@arm.com> 1597151510 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1607632201 +0100

check_files.py: pass mypy

Add enough type annotations to pass mypy 0.782 with Python 3.5. The
source code will still run normally under older Python versions.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>