More type annotations for https://github.com/coq/coq/pull/9996.

8 jobs for master in 12 minutes and 4 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #30162
fp
build-coq.8.7.0

00:02:36

passed #30161
fp
build-coq.8.7.1

00:02:36

passed #30160
fp
build-coq.8.7.2

00:02:39

passed #30159
fp-timing
build-coq.8.8.0

00:02:29

passed #30158
fp
build-coq.8.8.1

00:02:38

passed #30157
fp
build-coq.8.8.2

00:02:37

passed #30156
fp-timing
build-coq.8.9.0

00:02:56

passed #30155
fp
build-coq.dev

00:07:47