Add some type annotations.
Passed
Robbert Krebbers
created pipeline for commit
d3feb6b5
, finished
For master
8 minutes 21 seconds, queued for 3 seconds