См. Выводимые типы в сложном коде OCaml

Я новичок в OCaml, работаю с довольно сложным (по крайней мере для меня) кодом OCaml. не писал. Было бы очень полезно понять это, если бы я мог видеть предполагаемые типы для некоторых значений, как я могу сделать с F # и Visual Studio, наведя курсор на любое значение, например:

(снимок экрана заимствован из http: //theburningmonk.com/2010/01/learning-f-part-1/)

Думаю, я мог бы разбить код и передать его на верхний уровень, чтобы получить типы, но есть ли другие, более простой способ?