MetaLanguage, OCaml programming