decrement method

PNCounter decrement(
  1. String replicaId, [
  2. int amount = 1
])

Implementation

PNCounter decrement(String replicaId, [int amount = 1]) {
  final newN = Map<String, int>.from(_n);
  newN[replicaId] = (newN[replicaId] ?? 0) + amount;
  return PNCounter(p: _p, n: newN);
}