jhjourdan/coq — pull request #1 by gasche (2012-12-07 10:37:17+00:00)
Title: kernel/univ.ml: clarify the rank union selection logic

I tested that the modified code compiles, but I haven't been able t o run the testsuite so I can't comment on the code *correctness*, but I find it more readable (and more efficient, not that we usually care).