DEFINITION MODULE AuxGen2;

FROM items IMPORT Operator, ITEM;

EXPORT QUALIFIED shift;

PROCEDURE shift (Op : Operator; VAR Opd1, Opd2, Dest : ITEM; 
                                                NegateResult : BOOLEAN);
END AuxGen2.
