Module Crdt.Mutable.IntVector

module IntVector: M_IntVector

include Mutable_types.IVector

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