diff options
| author | Maxime Dénès | 2016-01-06 00:58:42 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-01-06 00:58:42 +0100 |
| commit | 23cbf43f353c50fa72b72d694611c5c14367cea2 (patch) | |
| tree | a04f140b3f383a798b3aeca9b92f663ff0d98dba /_CoqProject | |
| parent | ffc135337b479349a9e94c0da0a87531cf0684fa (diff) | |
Protect code against changes in Map interface.
The Map interface of upcoming OCaml 4.03 includes a new union operator. In
order to make our homemade implementation of Maps compatible with OCaml
versions from 3.12 to 4.03, we define our own signatures for Maps.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions