docs: def rev_after(self, rev: int) -> int:
          """Return the earliest future rev on which the value will change."""
          self.seek(rev)
          if self._future:
              return self._future[-1][0]