ml MetaLanguage, OCaml programming