OCaml extended with XML types

 OCamlDuce is a merger between OCaml and CDuce. It comes as a modified
 version of OCaml which integrates CDuce features: XML expressions,
 regular expression types and patterns, iterators. In particular, it
 extends OCaml with a new kind of values to represent XML documents,
 fragments, tags and Unicode strings.
 .
 OCamlDuce is binary compatible with OCaml: OCaml modules can be used
 with OCamlDuce, and OCamlDuce modules can be used with OCaml ones,
 provided they don't export a feature specifically introduced in
 OCamlDuce.
 .
 This package provides modified versions of the OCaml tools (toplevel,
 native and bytecode compilers, ocamldoc, ocamldep, ocamlfind).