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 /plugins/syntax/float_syntax.ml | |
| parent | 700aaaacad67d5d5f47805d9aa817213c84cfc02 (diff) | |
Put cyclic numbers in sort Set instead of Type
Added user overlay for bignums
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions