Closed smpiano closed 6 years ago
Implement the extended syntax for the following generic value built-ins:
{Value.'==' X Y Z}
Z = (X == Y)
{Value.'\=' X Y Z}
Z = (X \= Y)
{Value.'=<' X Y Z}
Z = (X =< Y)
{Value.'<' X Y Z}
Z = (X < Y)
{Value.'>=' X Y Z}
Z = (X >= Y)
{Value.'>' X Y Z}
Z = (X > Y)
Implement the extended syntax for the following generic value built-ins:
{Value.'==' X Y Z}: Equivalent toZ = (X == Y){Value.'\=' X Y Z}: Equivalent toZ = (X \= Y){Value.'=<' X Y Z}: Equivalent toZ = (X =< Y){Value.'<' X Y Z}: Equivalent toZ = (X < Y){Value.'>=' X Y Z}: Equivalent toZ = (X >= Y){Value.'>' X Y Z}: Equivalent toZ = (X > Y)