<<[Indigo]Cache>Rosemary>Cache.df=>CacheDecoder.Mesa>> <> DIRECTORY CacheMicroMachine; CacheDecoder: CEDAR DEFINITIONS = BEGIN MCtlMachineState: TYPE = RECORD[ SeqMaster, SeqSlave: BOOL, Sequence: CacheMicroMachine.SequenceNumber, SeqState: CacheMicroMachine.CycleNumber]; Decode: PROC[state: MCtlMachineState, decode: ATOM] RETURNS [conducts: BOOL]; END.