<<>> <> <> <> <> DIRECTORY CrRPC, Rope, DictionaryP1313V1; DictionaryP1313V1Init: CEDAR PROGRAM EXPORTS DictionaryP1313V1 ~ { OPEN DictionaryP1313V1; ROPE: TYPE ~ Rope.ROPE; }...