The implication operator on Boolean values.
Exp₁ ==> Exp₂
The implication operator on Boolean values defined as follows:
Boolean operators have short circuit semantics: only those operands are evaluated that are needed to compute the result. In the case of the
==> operator, the result is
Exp₁ evaluates to
Exp₂ is evaluated to determine the result.
rascal>false ==> true;