OCaml transitions