pub fn insert_delta<T: Ord + Clone>(value: T) -> GSet<T>
Delta-mutator for insert: mδ_insert(X, v) = {v} Property: X.insert(v) = X ⊔ mδ_insert(X, v)