diff options
| author | Pierre-Marie Pédrot | 2021-01-04 10:52:38 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-12 13:20:29 +0100 |
| commit | 71b5649acf83acb3fe6f1c5ddc468d5c504b7983 (patch) | |
| tree | 1c8bf4e04fbd91e30d613819ca39522cc8302715 /kernel/type_errors.ml | |
| parent | bedea3079b35982abefe4b78ae7aa0f6819842f6 (diff) | |
Change the case representation of patterns.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions