let
add (length,(st,path)) heap = (length,(st,path))::heap