module M_IntVector:sig
..end
An integer vector where each replica is restricted to incrementing its own
index i
. This index is generated at random and assigned to a numsite
value when calling make ()
or make_in_range n
. All subsequent calls to
update operations will only act on the position noted by numsite
.
By default, Mutable_types.Mergeable.make
just calls
Mutable_types.IVector.make_in_range
n
with n = 11
. You can
override this by calling make_in_range
directly.
include Mutable_types.IVector