A tool to verify types inferred by OCaml - View it on GitHub