let label_of_path (doc_settings : t_doc_settings) (path : t_path) : string= match label_of_path_opt doc_settings path with | None -> "DOCUMENT" | Some (s : string) -> s