diff options
| author | Emilio Jesus Gallego Arias | 2019-02-22 14:19:46 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-22 14:19:46 +0100 |
| commit | 24f833218177ad75604634e00166928d24ca84e0 (patch) | |
| tree | 76cb5bae146dfd0434b3baad6d913375445a600a /kernel/type_errors.mli | |
| parent | fa3a97426013cf940cd25abde43c0191766218b1 (diff) | |
[lib] Add `Map.update` from OCaml 4.06
It will take more than a year to bump the OCaml version, this is in
response of a request by @Skyskimmer.
We also update our internal repr to make it closer to the one in
modern OCaml.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions