Module Hash_heap__.Import

module Heap = Pairing_heap