Since people mentioned tooling, note that simple formal refactoring in OCaml doesn’t seem to be entirely trivial, some work regarding this is being carried out by @reuben.rowe and his collegues.
I didn’t have the time to read them yet but this and this paper look interesting.