let smallest = (heap.compare ()) < (a -> (f b))