相关疑难解决方法(0)

我有一个包含功能的记录类型:

{foo : int; bar : int -> int}

我希望这种类型具有结构上的平等性.有什么方法可以说明bar在相等测试中应该忽略它吗？或者还有其他方法吗？