let insert_label (doc_settings : t_doc_settings) (path : t_path) (s : string) : string = match label_of_path_opt doc_settings path with | None -> s | Some (t : string) -> insert_string t (pos_of_label doc_settings path) s