let add   : set -> int -> unit = Hashset.add