let rename_vtable = fun vtable ~name -> if name <> vtable.vt_name then match vtable_by_name_opt vtable.vt_db name with | None -> vtable.vt_name <- name | Some _ -> raise (Duplicated_name name)