Skip to main content

Tuple LessThanOrEqual

rascal-0.34.0

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