Get rid of Stdlib.compare and Stdlib.(=)#1117

bclement-ocp merged 2 commits into

OCamlPro:nextOCamlPro/alt-ergo:nextfrom

Halbaroth:get-rid-of-stdlib-compareHalbaroth/alt-ergo:get-rid-of-stdlib-compareCopy head branch name to clipboard