Diff ppxlib-0.24.0 with a ppxlib-0.28.0

Thank you!