package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Immutable_types.Mergeable`Source

Mergeable types. All CRDTs satisfy this property.

Sourcetype t

Type of mergeable elements.

Sourceval make : unit -> t

Create a new mergeable element.

Sourceval merge : t -> t -> t

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