Hacker News Reader

In your point 4) I assume you are referring to this tool?

No, its a normal feature of the ocaml compilers. I never saw that tool before your post.

That's very interesting, thanks. Now I'm quite tempted to study OCaml.