Tag to counter, with one cursor that only moves forward. A bump moves the cursor once and stamps every tag in it with the new value, so a tag's version is the cursor at its last change and diff(from) is every tag stamped after from.
diff(from)
from
the version of the most recent bump
records a change to tags and returns the new cursor; no tags is no change
tags
every tag changed after from
the vector as JSON
the cursor at which tag last changed, or 0 when it never has
tag
Static
rebuilds a vector from VersionVector.snapshot
Tag to counter, with one cursor that only moves forward. A bump moves the cursor once and stamps every tag in it with the new value, so a tag's version is the cursor at its last change and
diff(from)is every tag stamped afterfrom.