code: def next(self):
          
          if self.tokens:
              other = self.copy()
              tok = other.tokens.pop()
              other.tokens.append(tok.next())
              return other
          else:
              return Version.inf
docs: Return 'next' version. Eg, next(1.2) is 1.2_