// This file's contents are now included in the main types file.
// The file has been left for backward compatibility.