<> <> DIRECTORY BasicTime USING [ GMT ], RPC USING [ VersionRange ]; ThVersions: CEDAR DEFINITIONS = { ThrushVersion: CARDINAL; EarliestThrushVersion: CARDINAL; ThrushVR: RPC.VersionRange; GetThrushVR: RPC.VersionRange; ThrushDate: BasicTime.GMT; EarliestThrushDate: BasicTime.GMT; FinchVersion: CARDINAL; EarliestFinchVersion: CARDINAL; FinchVR: RPC.VersionRange; GetFinchVR: RPC.VersionRange; FinchDate: BasicTime.GMT; EarliestFinchDate: BasicTime.GMT; JayVersion: CARDINAL; EarliestJayVersion: CARDINAL; JayVR: RPC.VersionRange; GetJayVR: RPC.VersionRange; JayDate: BasicTime.GMT; EarliestJayDate: BasicTime.GMT; }. <> <> <Top>Thrush.df, ThVersions>> <> <> <> <> <<>>