#! /bin/bash mypy --show-error-codes pytools