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