Tuple LessThan
rascal-0.43.0
Synopsis
Less 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 less than that element in Exp₂.
Otherwise the result if false.
Examples
rascal><1, "abc", true> < <1, "def", true>;
bool: true