Study of OCaml