Как я могу заставить Мерлина предупредить меня, если я неправильно реализовал интерфейс модуля, определенный в файле .mli?
У меня есть два файла:
foo.ml
let foo = ()
foo.mli
val foo: int -> int
Как мне заставить Мерлина предупредить меня, что я неправильно реализовал интерфейс?