OCaml assignment in IS