Node GreaterThan

rascal-0.34.0

Synopsis

Greater than operator on node values.

Syntax

Exp₁ > Exp₂

Types

Exp₁	Exp₂	Exp₁ > Exp₂
node	node	bool

Description

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

• N is not equal to M, and
• 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