let nte_table_of_ts_hdr_opt (doc_settings : t_doc_settings) (cref_table : t_cref_table) (path : t_path) (hdr_opt : ts_hdr option) = match hdr_opt with |None -> [] |Some hdr -> nte_table_of_ts_hdr doc_settings cref_table path hdr