Skip to main content
Version: 1.6.0

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);