(module Hash_heap)