#! /bin/bash

python -m mypy --show-error-codes pymbolic