Module orset 

ORSet delta-mutators

Functions

add_delta

Delta-mutator for add: generates a new unique tag and returns delta Property: X.add(v) = X ⊔ mδ_add(X, v)

apply_add

Apply add operation using delta-mutator

remove_delta

Delta-mutator for remove: collects tags to tombstone Property: X.remove(v) = X ⊔ mδ_remove(X, v)