Module gcounter
crdts
This module contains a Grow-only Counter.
GCounter is a grow-only witnessed counter.
GCounter