Sometimes I have code like this at the top of a .ml file:
---
module A = BatArray
module AC = Autocorr
module S = BatString
[...]
---
After some big refactoring, it might be useful to detect which modules
are no more used, with a compiler warning for example.