$=$

Usage

a = b
a $\sim=$ b

Signatures

$=$:	(%,%) $\to$ Boolean
$\sim=$:	(%,%) $\to$ Boolean

Parameter	Type	Description
a, b	%	elements of the type

Returns

If $a = b$ returns true, then $a$ and $b$ are guaranteed to represent the same element of the type. The behavior if $a = b$ returns false depends on the type, since a full equality test might not be available. At least, it is guaranteed that $a$ and $b$ do not share the same memory location in that case. The semantics of $a~\sim= b$ is the boolean negation of $a = b$.