Module StringOf.StringOfMap

StringOfMap is a submodule functor that, given a module M that is implemented using Map.Make, will create a module capable of converting instances of M to string form

Parameters

Signature

type key = M.key

The type of M's keys

type 'a t = 'a M.t

The type of M's values

val string_of_map : (key -> string) -> ('a -> string) -> 'a t -> string

string_of_map returns the given M.t as a string

parameter string_of_key

The function used to turn each key of the M.t to a string

parameter string_of_val

The function used to turn each value of the M.t to a string

parameter tbl

The map to convert to a string

returns

The given M.t as a string

val string_of_map_exp : (key -> string) -> ('a -> string) -> 'a t -> string

string_of_map_exp returns the given M.t as a string in expanded form

parameter string_of_key

The function used to turn each key of the M.t to a string

parameter string_of_val

The function used to turn each value of the M.t to a string

parameter tbl

The map to convert to a string

returns

The given M.t as a string in expanded form