Module type Immutable_types.Mergeable

module type Mergeable = sig .. end

Mergeable types. All CRDTs satisfy this property.

type t

Type of mergeable elements.

val make : unit -> t

Create a new mergeable element.

val merge : t ->
       t -> t

merge a b will merge the state of a and the one from b to create a new mergeable element.