Module Hash_set_intf

module Hash_set_intf: sig .. end

include Core_kernel.Hash_set_intf