let
decrease cmp s n =
assert
(in_heap s n); percolate_up cmp s (
Vec
.get s.indices n)