res >]
) field_names [<>])
| `Projection -> Xml.xml_empty "class" [None,"value","projection"]
+ | `InversionPrinciple -> Xml.xml_empty "class" [None,"value","inversion"]
in
let flavour_of = function
| `Definition -> Xml.xml_empty "flavour" [None, "value", "definition"]
+ | `MutualDefinition ->
+ Xml.xml_empty "flavour" [None, "value", "mutual_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"]