diff options
| author | coqbot-app[bot] | 2020-11-28 14:28:27 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-28 14:28:27 +0000 |
| commit | 16ebc1024bff1d4e0573079c660d9341f95c604e (patch) | |
| tree | 389e3840e19096db1cc3bb690c2b4fb671716a68 /kernel/nativecode.mli | |
| parent | 7f1b4176d2606cc965adc09ce5e8346663980240 (diff) | |
| parent | 7395f5a7f86de3181df8b2a73f84f815447b745d (diff) | |
Merge PR #13479: extracting API for comparing universes of constants/inductives/constructors
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions