module Show_map: functor (O : Map.OrderedType) -> functor (K : Show with type a = O.t) -> functor (V : Show) -> Show with type a = V.a Map.Make(O).t
functor (
O
:
Map.OrderedType
) ->
K
Show
with type a = O.t
V
with type a = V.a Map.Make(O).t
Show with type a = O.t
type a
val format : Format.formatter -> a -> unit
Format.formatter -> a -> unit
val format_list : Format.formatter -> a list -> unit
Format.formatter -> a list -> unit
val show : a -> string
a -> string
val show_list : a list -> string
a list -> string