<> <> <> <> DIRECTORY CrRPC, Rope, CHNameP2V0, AuthenticationP14V2, BulkDataP0V1, ClearinghouseP2V2; ClearinghouseP2V2Init: CEDAR PROGRAM EXPORTS ClearinghouseP2V2 ~ { OPEN ClearinghouseP2V2; ROPE: TYPE ~ Rope.ROPE; wildcard: PUBLIC ROPE _ "*"; }...