1How the Ocaml type checker works | LTU (opens in new tab)(lambda-the-ultimate.org)1magnusjonsson13y ago0