Antidote provides a library of CRDTs. The interface of these CRDTs specify the operations and the parameters
that can be used for inspection and modification of shared objects. In the following, we specify the supported
{operation(), op_param()} pair for each of the supported CRDTs. The first element in the tuple
specifies the update operation, and the second item indicates the corresponding parameters.
{increment} {decrement}
{add,any()} {remove,any()}
{assign} {reset}