Skip to main content

Node LessThanOrEqual

rascal-0.34.0

Synopsis

Less than or equal operator on node values.

Syntax

Exp₁ <= Exp₂

Types

Exp₁Exp₂Exp₁ <= Exp₂
nodenodebool

Description

Comparison on nodes is defined by a lexicographic ordering. Node N = F(N₁, ..., Nₙ) is less than or equal node N = G(M₁, ..., Mₘ) when:

  • N is equal to M, or
  • F is lexicographically less than G, or F is equal to G and n < m.

Examples

rascal>"f"(10, "abc") <= "f"(10, "abc");
bool: true
rascal>"f"(10) <= "f"(10, "abc");
bool: true