DEFINITION MODULE Relations;

FROM items IMPORT ITEM, Operator, MonOperator, ConditionCode;

EXPORT QUALIFIED compare, opposite, reverse,
                 CompareAndStoreResult, NotTest;

PROCEDURE opposite (CondCode : ConditionCode) : ConditionCode;
PROCEDURE reverse (CondCode : ConditionCode) : ConditionCode;
PROCEDURE compare (op : Operator; VAR opd1, opd2 : ITEM) 
                                         : ConditionCode;
PROCEDURE CompareAndStoreResult (op : Operator;
                          VAR opd1, opd2, dest : ITEM);
PROCEDURE NotTest (VAR opd : ITEM) : ConditionCode;
END Relations.
