a province of China, bounded by that of Xensi on the north, by Honam and Huquan on the east, by Quecheu and Yunan on the south, and by the mountains of India on the west: its chief town is Chingtu.