OCaml assignment