<> <> <> <<>> <> <<>> DIRECTORY Basics USING [Comparison]; YggDID: CEDAR DEFINITIONS ~ BEGIN <> <<>> DID: TYPE ~ REF DIDRep; DIDRep: TYPE; <> <<>> FirstDID: DID; LastDID: DID; <> ValidateDID: PROC [did: DID] RETURNS [ok: BOOL]; <> <<>> PermanentDID: PROC [did: DID] RETURNS [permanent: 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]; <> <<>> HashDID: PROC [did: DID] RETURNS [hash: CARD32]; <> <<>> StableHashDID: PROC [did: DID] RETURNS [hash: CARD32]; <> <<>> <<>> END.