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