Kernel names are implemented using records.
Getting rid of generic hashes in cc plugin.
Removing generic hashes in kernel.
Fixing pervasive equalities. In particular, I removed the code that deleted
duplicates in kernel side effects. They were chosen according to an equality
that was quite irrelevant, and as expected this patch did not break the
test-suite.
Fixing Pervasives.equality in extraction.
Fixing some generic equalities in Micromega.
Lazily computed hash in KerName.t.
Canary testing absence of generic equality for KerNames
Do not remember KerName hashes.
Custom canary