DateTime NotEqual
rascal-0.40.17
Synopsis
Not equal operator on datetime values.
Syntax
Exp₁ != Exp₂
Types
Exp₁ | Exp₂ | Exp₁ != Exp₂ |
---|---|---|
datetime | datetime | bool |
Description
Yields true
if both arguments are different datetime
values and false
otherwise.
Examples
rascal>$2010-07-15$ != $2010-07-14$;
bool: true
rascal>$2010-07-15$ != $2010-07-15$;
bool: false