let
is_empty heap = (
List
.length heap)=0