<> <> CoreIOIFUProps: CEDAR DEFINITIONS = BEGIN sides: ATOM; -- key to REF CoreBlock.Sides drShiftIn: ATOM; -- key to ROPE drShiftOut: ATOM; -- key to ROPE END.