Module M_GCounter

module M_GCounter: sig .. end

Increment-only counters.

Conceptually the same as a M_IntVector. The only difference is that Mutable_types.IVector.query t returns the sum of all the elements in the vector.

include Mutable_types.IVector

An Increment-only counter is a Mutable_types.IVector with type elt = int