pub fn equal(a: &State, b: &State) -> bool
Returns true if two states have the same keys and values (exact comparison).