Module Crdt.Mutable.PNCounter

module PNCounter: M_PNCounter

include Mutable_types.DCounter

An Increment / decrement counter is a Mutable_types.IVector with type elt = int