Functor HistoryMap.AddString


module AddString: 
functor (KeyS : StringOf) ->
functor (ImgS : StringOf) ->
functor (SCustom : Custom) ->
functor (Map : S with type img = ImgS.t and type key = KeyS.t) -> S_Str with type key = Map.key and type img = Map.img
This functor adds string_of function to a map. You can specify with string should be used as separator and mapsto string.
Parameters:
KeyS : StringOf
ImgS : StringOf
SCustom : Custom
Map : S with type img = ImgS.t and type key = KeyS.t

include HistoryMap.S
val string_of : t -> string