Module Ppx_compare