Type inference in the source of OCaml

Question

I would like to take a close look at the implementation of type inference in OCaml, my OCaml seems be installed in /usr/local/lib/ocaml, but no .ml inside seems include the piece of code for type inference...

Could anyone help?

Answer 1

I suspect you have a binary release of OCaml. You need the sources. You can get the sources from this page: OCaml 4.00.1 Release

Answer 2

Aside from looking at the source code, you might find this paper useful.