String GreaterThanOrEqual

rascal-0.34.0

Synopsis

Greater than or equal operator on string values.

Syntax

Exp₁ >= Exp₂

Types

Exp₁	Exp₂	Exp₁ >= Exp₂
str	str	bool

Description

Yields true if the string value of Exp₁ is lexicographically greater than the string value of Exp₂ or if both strings are equal, and false otherwise.

Examples

rascal>"abc" >= "abc";
bool: true
rascal>"abcdef" >= "abc";
bool: true
rascal>"defghi" >= "abcdef";
bool: true
rascal>"a" >= "abc";
bool: false