+let xml_of_attrs attributes =
+ let class_of = function
+ | `Coercion -> "coercion"
+ | `Elim Cic.Prop -> "elimProp"
+ | `Elim Cic.CProp -> "elimCProp"
+ | `Elim Cic.Set -> "elimSet"
+ | `Elim (Cic.Type _) -> "elimType"
+ | `Record -> "record"
+ | `Projection -> "projection"
+ in
+ let xml_attr_of = function
+ | `Generated -> None, "generated", "true"
+ | `Class c -> None, "class", class_of c
+ in
+ let xml_attrs = List.map xml_attr_of attributes in
+ Xml.xml_empty "attributes" xml_attrs
+