generating code in ocaml