如何在Slim表中指定非标量参数？

Question

我想测试具有非标量参数和返回类型的函数，例如，“给定矩阵 M ，检查 M 在给定行向量 V 的情况下，它的逆是适当的标识“或”，检查transpose(V)是否是正确的列向量。

我是否需要巧妙地使用TableTable？