let iter  : (int -> unit) -> set -> unit = Hashset.iter