Skip to main content

DateTime GreaterThanOrEqual

rascal-0.40.17

Synopsis

Greater than or equal operator on datetime values.

Syntax

Exp₁ >= Exp₂

Types

//

Exp₁Exp₂Exp₁ >= Exp₂
datetimedatetimebool

Description

Yields true if the datetime value of Exp₁ is later in time than the datetime value of Exp₂ or if both values are equal, and false otherwise.

Examples

rascal>$2011-07-15$ >= $2010-07-15$;
bool: true
rascal>$2010-07-15$ >= $2010-07-14$;
bool: true