Searching

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

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

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