OCaml support: entry point for the parser.