let pretty fmt m =
match m with
| Top (t, a) ->
Format.fprintf fmt "@[<hov 2>{{ mix of %a.@ Origin: %a}}@]"
Top_Param.pretty t
Origin.pretty a
| Map m ->
Pretty_utils.pp_iter
~pre:"@[<hv 3>{{ "
~suf:" }}@]"
~sep:";@ "
(fun pp map -> M.iter (fun k v -> pp (k, v)) map)
(fun fmt (k, v) -> Format.fprintf fmt "%a -> %a" K.pretty k V.pretty v)
fmt m