diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-02 22:01:40 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-02 22:39:22 +0100 |
| commit | 710bae2a8c81a44611eabdf384b47dcb183f38fb (patch) | |
| tree | 3e6cb2c3b689a7dcbcb47798725af4a33c25f8e2 /library/impargs.mli | |
| parent | 2aedef1359e2950d2c1c58b4374dbead6e859883 (diff) | |
Being more scrupulous on preserving subtyping in evar-evar problems.
Incidentally, this allows to make earlier the collapse of CUMUL to
CONV when force is true.
Diffstat (limited to 'library/impargs.mli')
0 files changed, 0 insertions, 0 deletions