let
in_dom k m =
M
.mem k m