MakeMapPrinter (goblint-cil.GoblintCil.Pretty.MakeMapPrinter)

Parameters

module Map : sig ... end

val docMap : ?sep:doc -> (Map.key -> 'a -> doc) -> unit -> 'a Map.t -> doc

Format a map, analogous to docList.

val d_map : 
  ?dmaplet:(doc -> doc -> doc) ->
  string ->
  (unit -> Map.key -> doc) ->
  (unit -> 'a -> doc) ->
  unit ->
  'a Map.t ->
  doc

Format a map, analogous to d_list.