<<>> <> <> <> <> <> <> <> <<>> DIRECTORY Rope USING [ROPE]; MailBasics: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; <> NameSpace: TYPE = ATOM; <> RName: TYPE = RECORD [ ns: NameSpace, name: ROPE ]; <> RNameList: TYPE = LIST OF RName; Postmark: TYPE = ROPE; Timestamp: TYPE = Postmark; <> ItemHeader: TYPE = RECORD [ type: ItemType, length: ItemLength ]; <> Item: TYPE = REF ItemHeader; ItemLength: TYPE = INT; <> ItemType: TYPE = CARD32; <> END.