diff options
| author | Vincent Semeria | 2020-08-07 22:44:17 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2020-08-24 19:37:51 +0200 |
| commit | 0c39f0be2ffc5c6f150c4657a486918c7ada84b9 (patch) | |
| tree | 068862ff2faba06010add695f7544eeed2cb06aa /interp/syntax_def.ml | |
| parent | 700aaaacad67d5d5f47805d9aa817213c84cfc02 (diff) | |
Put cyclic numbers in sort Set instead of Type
Added user overlay for bignums
Diffstat (limited to 'interp/syntax_def.ml')
0 files changed, 0 insertions, 0 deletions