So I need to get the size of a list of tensors… that’s right, [tensor_1, tensor_2, tensor_3]; apparently, .size() will not work for this, so I need to use map function eventually I guess. But what’s the function to get the size of the tensor?