let rename_table = fun table ~name ->
if table.ta_name <> name then begin
validate_name_exn name;
match table_by_name_opt table.ta_db name with
| None -> table.ta_name <- name
| Some _ -> raise (Duplicated_name name)
end