Ocaml update