diff options
| author | Pierre Letouzey | 2017-05-09 18:13:57 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-05-22 15:15:49 +0200 |
| commit | 0fe4d837191de481184cc995558ca3774253be0c (patch) | |
| tree | a7d7af84f4996a6c06e75cff20bae5772b45886f /kernel/type_errors.ml | |
| parent | e25e1af79838103634ee445fdb38d53c19587365 (diff) | |
refl_omega: more refactoring (e.g. IntSets instead of sorted lists)
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions