mypy

Loading documentation pages…