Module Crdt.Immutable.IntVector

module IntVector: I_IntVector

include Immutable_types.IVector

A Vector Clock is a Immutable_types.IVector with type elt = int list