Coq menhirlib : in cast, make sure we do reprove the equality in the extracted code.

2 jobs for master in 20 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #265989
pages

00:00:20

 
  Deploy
passed pages:deploy

00:00:00