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