Diff ppx_compare-0.15.0 with a ppx_compare-0.16.0

Thank you!