<> <> <> <<>> DIRECTORY BitOps, Core, DynaBusInterface; ResponseChecker: CEDAR DEFINITIONS = BEGIN Quad: TYPE = BitOps.BitQWord; Cmd: TYPE = DynaBusInterface.Cmd; Create: PROC RETURNS [ct: Core.CellType]; ExpectReply: PROC [rcState: REF ANY, header: Quad, data: ARRAY[0..4) OF Quad, doubleError: ARRAY [0..4) OF BOOL _ ALL[FALSE]]; IsEmpty: PROC [rcState: REF ANY] RETURNS [BOOL]; END.