PR#7343: add specifications for Map.merge and Map.union
PR#7343: add specifications for Map.merge and Map.union

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml