Module int_set

Module int_set 

Source

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.