let xml_list_of_abstract_hdr (doc_settings : t_doc_settings) : Xml.xml list = match doc_settings.abstract_hdr with |None -> [] |Some (abstract_hdr,_) -> [Xml.Element ("abstract_hdr",[],[xml_of_string abstract_hdr])]