<> <> <> DIRECTORY Dragon, PW; EUPLA: CEDAR DEFINITIONS = BEGIN MainControlIn: TYPE = RECORD [ -- default zero kIsRtOp: BOOL _ FALSE, aluOp: Dragon.ALUOps _ Or, condSel: Dragon.CondSelects _ False, aluLt: Dragon.ALULeftSources _ aBus, aluRt: Dragon.ALURightSources _ bBus, st2A: Dragon.Store2ASources _ bBus, st3AIsCbus: BOOL _ FALSE, res3AIsCbus: BOOL _ FALSE, res3BIsRdData: BOOL _ FALSE ]; MainControlOut: TYPE = RECORD [ -- default zero doThis: BOOL _ FALSE, doThisToo: BOOL _ FALSE, doThat: BOOL _ FALSE, andThat: BOOL _ FALSE ]; END.