Module gset 

GSet delta-mutators

Functions

apply_insert

Apply insert delta to a GSet

insert_batch_delta

Batch insert delta-mutator

insert_delta

Delta-mutator for insert: mδ_insert(X, v) = {v} Property: X.insert(v) = X ⊔ mδ_insert(X, v)