<> <> <> <> DIRECTORY SunRPC, ThrushSunRPC, Rope; LarkFeepSunRPC: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; ID: TYPE ~ CARD32; FlashType: TYPE ~ PROC [h: SunRPC.Handle, shhh: CARD32, serviceID: CARD32, convID: CARD32, requestingParty: CARD32, actionID: CARD32, extraTime: CARD16] RETURNS [nb: ROPE]; CedarRope: TYPE ~ ROPE; CedarAtom: TYPE ~ ROPE; CedarNat: TYPE ~ CARD32; CedarByte: TYPE ~ CARD32; FeepType: TYPE ~ PROC [h: SunRPC.Handle, shhh: CARD32, serviceID: CARD32, convID: CARD32, requestingParty: CARD32, number: ROPE, noisy: BOOLEAN, on: CARD16, off: CARD16] RETURNS [nb: ROPE]; }...