More type annotations for https://github.com/coq/coq/pull/9996.
Passed
Robbert Krebbers
created pipeline for commit
d6eb24f2
, finished
For master
12 minutes 4 seconds, queued for 1 seconds