Tuple GreaterThanOrEqual
rascal-0.34.0
Synopsis
Greater than or equal operator on tuple values.
Syntax
Exp₁ >= Exp₂
Types
Exp₁ | Exp₂ | Exp₁ >= Exp₂ |
|---|---|---|
tuple[ T₁₁, T₁₂, ... ] | tuple[ T₂₁, T₂₂, ... ] | bool |
Description
Yields true if
- both tuples are equal, or
- the left-most element in the tuple value of Exp₁ that differs from the corresponding element in the tuple value of Exp₂ is greater than that element in Exp₂.
Otherwise the result if false.
Examples
rascal><1, "abc", true> > <1, "abc", true>;
bool: false
rascal><1, "def", true> > <1, "abc", true>;
bool: true