See inferred types in complex OCaml code

Question

I\'m a OCaml newbie working with some pretty complex (at least for me) OCaml code I didn\'t write. It would help a lot to understand it if I could see the inferred types for

Answer 1

First, you must compile your file (foo.ml) with the -annot flag. This generates the annotation file (foo.annot) that contains type information about all identifiers inside. You can include this as part of your makefile or build process.

Then, you need to rely on your IDE to display that information. I do this in Tuareg (the emacs mode) using Ctrl+C, Ctrl+T, which highlights the current expression and displays its type.