<> <> <> <> <> DIRECTORY RoseTypes, RoseCreate, Dragon, DragOpsCross, BitOps, SwitchTypes, IFUPLAInstrDecode; IFUData2LS: CEDAR DEFINITIONS = BEGIN LFormation: RoseTypes.CellType; SDelta: RoseTypes.CellType; SFormation: RoseTypes.CellType; SLimitTest: RoseTypes.CellType; END.