aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/uGraph.mli
Commit message (Expand)AuthorAge
* Define and use UGraph.enforce_leq_alg for subtyping inferenceGravatar Gaëtan Gilbert2018-06-22
* Fix restrict_universe_contextGravatar Gaëtan Gilbert2018-05-30
* universe normalisation: put equivalence class partition in UGraphGravatar Gaëtan Gilbert2018-04-13
* Replace invalid tag @raises in ocamldoc comments with @raiseGravatar mrmr19932018-03-05
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [api] Remove yet another type alias.Gravatar Emilio Jesus Gallego Arias2017-12-09
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Cleaning up the implementation of module subtyping in the kernel.Gravatar Pierre-Marie Pédrot2017-07-11
* Merge PR#518: Faster universe unificationGravatar Maxime Dénès2017-05-23
|\
* | Remove some unused values and typesGravatar Gaetan Gilbert2017-04-27
| * Fast path when checking equality of universe levels in UState.Gravatar Pierre-Marie Pédrot2017-04-27
|/
* Splitting kernel universe code in two modules.Gravatar Pierre-Marie Pédrot2015-10-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 00:37:10 +0000