Add some type annotations for prepare for `Hint Mode` for `Equiv`.
Passed
Robbert Krebbers
created pipeline for commit
a68d1d12
, finished
Related merge request !418 to merge robbert/type_annotations
4 minutes 41 seconds, queued for 5 seconds