Easy to Use ROTOR is easily installed via OPAM and invoked on the command line. It uses your .merlin file to find your code, and outputs a diff patch of your refactoring. Get Started Trustworthy Developed at the University of Kent as part of a project on Trustworthy Refactoring, ROTOR is designed on solid formal principles and an analysis of OCaml’s semantics. Learn More Community ROTOR has been developed for the OCaml community, with the collaboration of Jane Street. Future plans include integration with IDEs and the dune build tool. Contribute Easy, Contract, and Teamwork icons provided by Icons8.