<> <> <> <> DIRECTORY CrRPC, Rope; TimeP15V2: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; Time: TYPE ~ CARD32; earliestTime: CARD32 ~ 2114294400; }...