Как я могу заставить Мерлина предупредить меня, когда я неправильно реализовал интерфейс модуля, определенный в файле .mli?

Question

У меня есть два файла:

foo.ml

let foo = ()

foo.mli

val foo: int -> int

Как мне заставить Мерлина предупредить меня, что янеправильно реализован интерфейс?