<> <> ShiftOps: CEDAR DEFINITIONS = { ShiftOp: TYPE = {BothOff, BothOn, Looking, Storing}; }.