let margin_labels_of_tr_doc (doc_settings : t_doc_settings) (doc : tr_doc) : string list= let _ : unit = IO.quiet.contents <- true in match acc_of_tr_doc doc_settings ([] : t_cref_table) ([] : t_nte_table) ([] : t_path) (MARGIN_LABELS []) doc with | MARGIN_LABELS string_list -> string_list | _ -> raise (Error "accumulator output type not identical to accumulator input type")