) field_names [<>])
| `Projection -> Xml.xml_empty "class" [None,"value","projection"]
in
+ let flavour_of = function
+ | `Definition -> Xml.xml_empty "flavour" [None, "value", "definition"]
+ | `Fact -> Xml.xml_empty "flavour" [None, "value", "fact"]
+ | `Lemma -> Xml.xml_empty "flavour" [None, "value", "lemma"]
+ | `Remark -> Xml.xml_empty "flavour" [None, "value", "remark"]
+ | `Theorem -> Xml.xml_empty "flavour" [None, "value", "theorem"]
+ | `Variant -> Xml.xml_empty "flavour" [None, "value", "variant"]
+ in
let xml_attr_of = function
| `Generated -> Xml.xml_empty "generated" []
| `Class c -> class_of c
+ | `Flavour f -> flavour_of f
in
let xml_attrs =
List.fold_right