A type that can report on whether it has changed.
Reports whether the variable has changed since it was last asked.
See Implementation
A type that can report on whether it has changed.