let
is_bottom v =
let
r = equal bottom v
in
assert
(
match
v
with
Map
M
.
Empty
->
r
|
_
->
not r);
r