let
nmap_isEmpty map =
try
nmap_fold (
fun
_
->
raise
Not_found
) () map;
true
with
Not_found
->
false