This library implements XPath 1.0, per the spec. You can parse XPath expressions into ocaml types, and run the parsed XPath expressions on XML documents.
xpath