let
add_or_bottom k v m =
if
V
.equal v
V
.bottom
then
M
.remove k m
else
M
.add k v m