<> <> <> <> DIRECTORY Core; DRam: CEDAR DEFINITIONS ~ BEGIN AddressBits: TYPE = (0..12]; AddressBit: TYPE = [FIRST[AddressBits]-1..LAST[AddressBits]-1]; Address: TYPE = LONG CARDINAL; DataBits: TYPE = (0..16]; DataBit: TYPE = [FIRST[DataBits]-1..LAST[DataBits]-1]; Create: PROC [a: AddressBits, d: DataBits] RETURNS [ct: Core.CellType]; <> SingleBitError: PROC [state: REF, a: Address, d: DataBit]; <> DoubleBitError: PROC [state: REF, a: Address, d0, d1: DataBit]; <> EnableUninitializedReads: PROC [b: BOOL]; <> END.