DateTime GreaterThan
rascal-0.41.2
Synopsis
Greater than operator on datetime values.
Syntax
Exp₁ > Exp₂
Types
//
Exp₁ | Exp₂ | Exp₁ > Exp₂ |
|---|---|---|
datetime | datetime | bool |
Description
Yields true if the datetime value of Exp₁ is later in time than the datetime value
of Exp₂, and false otherwise.
Examples
rascal>$2010-07-15$ > $2010-07-14$;
bool: true
rascal>$2011-07-15$ > $2010-07-15$;
bool: true