Generalisation of pointer fragments.

2 jobs for ci/ptrfrag in 23 minutes and 58 seconds (queued for 2 seconds)
latest
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0 #122322
fp

00:23:58

passed check-generated #122323
fp

00:05:27