Tuple GreaterThan
rascal-0.34.0
Synopsis
Greater than 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 not equal, and
- 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, "def", true> > <1, "abc", true>;
bool: true