Make (p.crdt-ml.0.10.0.doc.crdt_mutable.M

Parameters

module O : Mutable_types.Comparable

include Mutable_types.Mergeable

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.

type elt = O.t

Type of the contents of GSet

val add : elt -> t -> unit

add el t adds el in-place to t.

val value : t -> elt list

value t gets the raw state of t.

val lookup : elt -> t -> bool

lookup el t returns true if el is in t.