Module lwwreg 

Structs

LWWWriteDelta

Delta for LWW Register write operation

Functions

apply_set

Convert delta to a LWW Register state

set_delta

Delta-mutator for set operation Property: X.set(v) = X ⊔ mδ_set(X, v, ts, rid)