Существует ли инструмент OCaml для поддержки использования передовых методов, таких как модуль Perl :: Critic Perl?

Существует ли инструмент, который анализирует программы OCaml и предлагает некоторые улучшения в стиле и коде? В мире Perl все еще существует Perl :: Critic , чтобы избежать плохого стиля.

Что мне нужно, так это инструменты, которые дают подсказки не только о стиле, но и делают вещи чище и избегают конструкций, которые не являются хвостовыми рекурсивными в программах OCaml.

Есть какие-нибудь подсказки?