MODULE SortedTimeChangeSetTbl = SortedTable (LongrealType, ChangeSet, TimeChangeSetTbl) END SortedTimeChangeSetTbl.