作用

Used to validate operand types，例如Add、Multiply等

特殊规则

COMPARABLE_UNORDERED_COMPARABLE_UNORDERED

This is for argument types that can be compared (i.e. you can say whether x = y) but unordered (you can't say whether x > y or x < y).

COMPARABLE_ORDERED_COMPARABLE_ORDERED

This is for argument types that can be compared (i.e. you can say whether x = y) and can be ordered (i.e. you can say whether x > y or x < y).