It only reports unused exported values, constructors/record fields and methods by default. Options can enable reporting of optional arguments always/never used as bad style of code. In addition to selecting which reports are to be displayed, the limit of authorized occurences needed to be reported can be selected (default is 0).

It assumes .mli/.mfi are compiled with -keep-locs and .ml/.mf are compiled with -bin-annot.