You can search for identifiers within the package.
in-package search v0.2.0
crdt_immutable
Immutable_types.RSet
Add and remove set type. Supports merging, adding and lookup operations.
include GSet
include Mergeable
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.
merge a b
a
b
type elt
Type of the contents of GSet
GSet
val add : elt -> t -> t
add el t adds el to t.
add el t
el
t
val value : t -> elt list
value t gets the raw state of t.
value t
val lookup : elt -> t -> bool
lookup el t returns true if el is in t.
lookup el t
val remove : elt -> t -> t
remove el t removes el from t only if el is in t. Returns t otherwise.
remove el t