Module type Immutable_types.IVector

module type IVector = sig .. end

Vector Clock and increment-only counter types. Supports merging and incrementing. The elt type must be supplied when including.

include Immutable_types.Mergeable

type elt

Type of the contents of an IVector

val make_in_range : int -> t

make_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 query : t -> elt

query t returns the raw state of t

val incr : t -> t

incr t increments the position associated with the numsite of t. See I_IntVector for more information on numsites.