Functor ExtSMap.Make

module Make: functor (Ord : OrderedType) -> S  with type key = Ord.t

Functor building an implementation of the map structure given a totally ordered type as in the standard libary. Supports additional string conversion.

Parameters:

Ord : OrderedType

include Map.S

See also Map.S from the standard libary

val string_of : ('a -> string) -> 'a t -> string

string_of f m converts the map m into a string using f as a conversion function of the images.