Ocaml with added comments