Pretty-printing

pp ~sep pp_binding ppf m formats the bindings of m on ppf.
Each binding is formatted with pp_binding and bindings are separated
by sep (defaults to Format.pp_print_cut). If the map is empty
leaves ppf untouched.