How to define implied imports in mypy?

Question

I\'m trying to typecheck notebooks exported out of Databricks. The notebooks are plain *.py files with a special comment format to indicate where cells begin and en