module AddS: functor (KeyS : StringOf) -> functor (ImgS : StringOf) -> 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 using
the default separator "," and the mapsto default "->"
| Parameters: |
KeyS |
: |
StringOf
|
ImgS |
: |
StringOf
|
Map |
: |
S with type img = ImgS.t and type key = KeyS.t
|
|
include HistoryMap.S
val string_of : t -> string