Module I_GCounter

module I_GCounter: sig .. end

Increment-only counters.

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

include Immutable_types.IVector

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