ppxlib.print_diff