<<>> <> <> <> <> <<>> VMChunks: CEDAR DEFINITIONS ~ BEGIN <<>> <<"Large grain storage manager">> <<>> <> <<>> Domain: TYPE = REF DomainRep; DomainRep: TYPE; Chunk: TYPE = REF ChunkRep; ChunkRep: TYPE; <> <> CreateDomain: PROC [startAddress: CARD, size: CARD] RETURNS [Domain]; <> IsChunk: PROC [x: REF ANY] RETURNS [BOOL]; <> <<>> NarrowChunk: PROC [x: REF ANY] RETURNS [Chunk]; <> AllocateChunk: PROC [domain: Domain, size: CARD] RETURNS [Chunk]; <> <<>> AddressOfChunk: PROC [chunk: Chunk] RETURNS [CARD]; <> <> <<>> SizeOfChunk: PROC [chunk: Chunk] RETURNS [CARD]; <> <<>> DomainOfChunk: PROC [chunk: Chunk] RETURNS [Domain]; <> END.