diff options
| author | Pierre-Marie Pédrot | 2020-09-22 11:04:21 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-21 12:18:01 +0200 |
| commit | 8f16b1c5b97411b7ea88279699f0f410f1c77723 (patch) | |
| tree | a2b6f1867f55330164d7cdb2e048f0f197e63f30 /kernel/vmlambda.mli | |
| parent | 3f0b70956add7b5731052c485cec972372b0eff9 (diff) | |
Introduce a dummy name quotient API.
For now it does not do anything but eventually it should be used to replace
the reliance on canonical names for dual kerpairs such as e.g. constants and
inductive types.
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions