Tuple LessThanOrEqual

rascal-0.40.17

Synopsis

Less 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 less than that element in Exp₂.

Otherwise the result if false.

Examples

rascal><1, "abc", true> <= <1, "abc", true>;
bool: true
rascal><1, "abc", true> <= <1, "def", true>;
bool: true