let rename_index = fun index ~name ->
if index.idx_name <> name then begin
validate_name_exn name;
match index_by_name_opt index.idx_db name with
| None -> index.idx_name <- name
| Some _ -> raise (Duplicated_name name)
end