let
is_empty s =
try
ignore (
S
.get s 0);
false
with
_
->
true