Polymorphic XML parser, a validating XML-1.0 parser (OCaml)
