对两个值执行泛型哈希处理，值的类型不需要静态满足相等约束。
Perform generic comparison on two values where the type of the values is not statically required to have the comparison constraint.
所以我们有约束条件,化学势必须相等。
You have the chemical potentials that have to be equal to each other.
使用这种技术的原因是，虽然相等的概念执行分布您所要求的值，约束可以仅在视图的各方面之间应用等式；
The reason for the use of this technique is that although the notion of equality performs the distribution of values you are asking for, constraints can apply equality only between aspects of views;
应用推荐