Adding

Adding an element to a big set is done by calling the function Big_set.add. If the element was already present in the given big set, the resulting big set is the same as the original one.

const my_big_set: big_set<int> = Big_set.literal([3, 2, 2, 1]);

const with_4: big_set<int> = Big_set.add(4, my_big_set);