let size  : set -> int  = Hashset.size