Restyle ppx→@@.