(module Hash_set)