Skip to main content

Value Equal

rascal-0.43.0

Synopsis​

Equal operator on values.

Syntax​

Exp₁ == Exp₂

Types​

Exp₁Exp₂Exp₁ == Exp₂
valuevaluebool

Description​

Yields true if both arguments are identical and false otherwise.

Examples​

Introduce two variables X, Y and Z and force them to be of type value:

rascal>value X = "abc";
value: "abc"
rascal>value Y = "abc";
value: "abc"
rascal>value Z = 3.14;
value: 3.14

Now compare X and Y for equality:

rascal>X == Y;
bool: true

and X and Z:

rascal>X == Z;
bool: false