Skip to content

Rework some type annotations to help the type checker#873

Draft
hoechenberger wants to merge 6 commits intomne-tools:mainfrom hoechenberger:types