Module type Mutable_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 -> unit

merge a b will merge the state of b with the one from a. Updates a.