Name Rascal/Expressions/Values/Node/GreaterThanOrEqual

Synopsis Greater than or equal operator on node values.

Syntax Exp1 >= Exp2

Types

Exp1	Exp2	Exp1 >= Exp2
node	node	bool

Description Comparison on nodes is defined by a lexicographic ordering. Node N = F(N1, ..., Nn) is greater than or equal node N = G(M1, ..., Mm) when:

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

Examples

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

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]