<> <> <> <> DIRECTORY SunRPC, ThrushSunRPC, Rope; ThSmartsSunRPC: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; CedarRope: TYPE ~ ROPE; CedarAtom: TYPE ~ ROPE; CedarNat: TYPE ~ CARD32; CedarByte: TYPE ~ CARD32; SubstitutionType: TYPE ~ PROC [h: SunRPC.Handle, shh: CARD32, convEvent: ThrushSunRPC.ConvEvent, oldPartyID: CARD32, newPartyID: CARD32]; ReportActionType: TYPE ~ PROC [h: SunRPC.Handle, shh: CARD32, report: ThrushSunRPC.ActionReport]; CheckInType: TYPE ~ PROC [h: SunRPC.Handle, shh: CARD32, credentials: ThrushSunRPC.Credentials, voicePath: BOOLEAN, reason: ROPE, remark: ROPE, nextScheduledCheck: INT32]; ProgressType: TYPE ~ PROC [h: SunRPC.Handle, shh: CARD32, convEvent: ThrushSunRPC.ConvEvent]; }...