#!/bin/bash python -m mypy arraycontext/ examples/ test/