Diff ppx_stable-0.15.0 with a ppx_stable-0.16.0

Thank you!