Synopsis Less than or equal operator on node values.
Syntax Exp1 <= Exp2
Exp1 Exp2 Exp1 <= Exp2
node node bool
Description Comparison on nodes is defined by a lexicographic ordering. Node N = F(N1, ..., Nn) is less than or equal node N = G(M1, ..., Mm) when:
  • N is equal to M, or
  • F is lexicographically less than G, or F is equal to G and n < m.
rascal>"f"(10, "abc") <= "f"(10, "abc");
bool: true
rascal>"f"(10) <= "f"(10, "abc");
bool: true
Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit