Tuple GreaterThanOrEqual

rascal-0.40.17

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