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