RCounterInterface

An RCounter (Resettable Counter/Add Wins Counter) is a Delta CRDT modeling a counter.

Calling fresh after every time that deltas are shipped to other replicas prevents subsequent increment/decrement operations to be overwritten by concurrent reset operations.

This counter was originally proposed by Baquera et al. in "The problem with embedded CRDT counters and a solution", see here