<> <> <> <> <> DIRECTORY RoseTypes, RoseCreate, RoseConvert, SwitchTypes; Inverter: CEDAR DEFINITIONS = BEGIN Inverter: RoseTypes.CellType; END.