<> <> <> DIRECTORY PLAOps; IFUPLAFetchRdDecode: CEDAR DEFINITIONS = BEGIN FetchRdDecodePLA: PLAOps.PLA; FetchRdDecodeProc: PROC[argRec: FetchRdDecodeIn] RETURNS[resRec: FetchRdDecodeOut]; -- default must be zero for use initializing sigificance arg FetchDecodeIn: TYPE = RECORD[writing: BOOL _ FALSE, wtIndex: [0..4) _ 0, rdIndex: [0..16) _ 0]; FetchRdDecodeIn: TYPE = FetchDecodeIn; FetchRdDecodeOut: TYPE = RECORD[rdEnable: [0..65535] _ 0]; END.