module type S_binable = S_binable with type 'a hash_set = 'a t
S_binable
with type 'a hash_set = 'a t