Vector Clocks.
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.
A Vector Clock is a Mutable_types.IVector with type elt = int list
include Mutable_types.IVector with type elt = int listinclude Mutable_types.Mergeableval make : unit -> tCreate a new mergeable element.
val make_in_range : int -> tmake_in_range n creates a new IVector of size ranging from 0 to n. being n greater than 0 and smaller than 2^30.
When merging two CRDTs of different sizes, the smaller one grows and pads the remaining space with zeros.
val incr : t -> unitincr t increments the position associated with the numsite of t. See M_IntVector for more information on numsites.