<> <> <> <<>> <> <<>> DIRECTORY Basics USING [Comparison], IO USING [STREAM], Rope USING [ROPE]; YggDID: CEDAR DEFINITIONS ~ BEGIN <> <<>> DID: TYPE ~ REF DIDRep; DIDRep: TYPE; <> <<>> FirstDID: DID; LastDID: DID; <> <<>> RootPath: Rope.ROPE; RootPathToRoots: Rope.ROPE; <> StreamsForDID: PROC [did: DID] RETURNS [contents, attributes, links: IO.STREAM]; <> <<>> ValidateDID: PROC [did: DID] RETURNS [ok: BOOL]; <> <<>> CompareDIDs: PROC [did: DID, stableDID: LONG POINTER] RETURNS [Basics.Comparison]; <> <<>> EqualDIDs: PROC [did1: DID, did2: DID] RETURNS [equal: BOOL]; <> <<>> SizeForDID: PROC [did: DID] RETURNS [bytes: INT]; <> <<>> StabilizeDID: PROC [did: DID, buffer: LONG POINTER]; <> <<>> VolatilizeDID: PROC [buffer: LONG POINTER] RETURNS [did: DID]; <> <<>> <<>> END.