let
is_empty s =
Vec
.is_empty s.heap