let key_of_xml = function | Xml.Element("Primary_key",_,_) -> Primary_key | Xml.Element("Key",_,_) -> Key | e -> fail e "key_of_xml"