Pair of states.
Constructs a new state pair.
first state
second state
Checks for equality.
Returns hash code.