Update rotation.mli