Module int_set 

Functions

intset_intersection

Replace lhs with the sorted intersection of lhs and rhs.

intset_union

Replace lhs with the sorted union of lhs and rhs.