Hash_set_intf
.
S_binable