Did you know ... Search Documentation:
Predicate min_of_heap/3