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