Module Mutable_types

module Mutable_types: sig .. end

This module contains all mutable CRDT types, as well as some type properties that CRDT state must satisfy.

module type Comparable = sig .. end

Comparable types.

module type Mergeable = sig .. end

Mergeable types.

module type IVector = sig .. end

Vector Clock and increment-only counter types.

module type DCounter = sig .. end

Increment / decrement counter type.

module type GSet = sig .. end

Grow-Only set type.

module type RSet = sig .. end

Add and remove set type.