let string_of_ts_nte_ref (doc_settings : t_doc_settings) (nte_table : t_nte_table) (path : t_path) (nte_ref : ts_nte_ref) : string = match nte_ref with |Cs_nte_ref (id,i) -> let rec aux (table : t_nte_table) : string = match table with |[] -> let _ : unit = IO.print_warning (String.concat "" [ "WARNING: id \'";string_of_tr_id id; "\' referenced in "; string_of_path doc_settings path; " does not exist or is out of scope."; ]) in "??" |(Ftn_entry_ref (table_nte_ref, _, n, _))::tl -> if nte_ref=table_nte_ref then string_of_path doc_settings [NTE_NODE n] else aux tl |hd::tl -> aux tl in aux nte_table