Tensor类，在检查文档时非常有用。也可以使用其中的子函数。-Tensor in the category of document checks will be very useful. You can also use the unreachable.