let
pop heap =
let
root = get heap 0
in
(
match
root
with
(pos,_,_)
->
remove heap pos);
root