Searching

The predicate Big_set.mem tests for membership in a given big set.

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

const contains_3: bool = Big_set.mem(3, my_big_set); // == true