Assertion: equality's value | /r/HasProperty | equal
Facets:
value: always
type: DEGREE
value: to another value
type: OTHER
value: to itself
type: OTHER
Source sentences:
text: For all values except numbers, it uses the obvious semantics: a value is only equal to itself.
text: The first test is true because two identical values are considered equal-always.
text: For example, eq or == (double equal sign) can check if a value is equal to another value.
text: This is tedious, but straightforward: we want to determine that the values of each individual property are equal.
text: Two values can be equal now, always equal, and/or identical.
text: Checks if the two values are equal now (they may not be later).
text: Checks if the two values will always be equal, and corresponds to the == operator.
text: Stopping at mutable boundaries ensures that if two values were equal-always at any point, they will still be equal-always later.
text: This is in fact true of the binary expansions of many rational numbers, where the values of the numbers are equal but the corresponding binary tree paths are different.