let lines_of_abstract_hdr (doc_settings : t_doc_settings) (doc_class : t_doc_class) : string list = match doc_settings.abstract_hdr with |None -> [] |Some (hdr,_) -> lines_of_string doc_settings doc_settings.abstract_indent hdr