在 TypeScript 中，函数和其参数的类型可以被描述为两个不同的类型：Args 和 ArgTypes。Args 是一个包含所有函数参数的元组类型，而 ArgTypes 是一个包含所有函数参数类型的元组类型。

下面是一个例子，其中一个函数的参数类型和另一个函数的参数类型经过比较：

function add(a: number, b: number) {
  return a + b;
}

type AddArgs = [number, number];
type AddArgTypes = [a: number, b: number];

type AssertEqual = T1 extends T2 ? (T2 extends T1 ? true : never) : never;
type TestAdd = AssertEqual number>;
// expected: true

type TestAddArgTypes = AssertEqual number>;
// expected: true

在这个例子中，我们使用类型别名 AddArgs 和 AddArgTypes 分别表示 add 函数的参数。我们使用一个类型断言工具 AssertEqual 来测试 add 函数是否与这两个类型别名匹配。结果需要返回 true。