Comparable
Annotates a parameter (Prop, TreeProp or State) indicating what kind of equivalence should be used in the "isEquivalentTo" call.
Annotates a parameter (Prop, TreeProp or State) indicating what kind of equivalence should be used in the "isEquivalentTo" call.