diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-05-17 17:24:57 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-06-29 12:16:29 +0200 |
| commit | 410b3cc1cc0f677e052cfedcee03e14521264b64 (patch) | |
| tree | b092df75c1313b6a149366ff9015134547774283 /kernel/nativelibrary.ml | |
| parent | 5e979cf6020eea9fa0feaa77c7436a29443e35db (diff) | |
Program: cleanup in cases, add options
Unset Program Generalized Coercion to avoid coercion of general
applications.
Unset Program Cases to deactivate generation equalities and
disequalities of cases.
Diffstat (limited to 'kernel/nativelibrary.ml')
0 files changed, 0 insertions, 0 deletions