heap::has