let cup : set -> set -> set = Hashset.cup