Functor Parameter_sig.Builder.String_map

module String_map: 
functor (V : Parameter_sig.Value_datatype with type key = string-> 
functor (X : sig
include Parameter_sig.Input_with_arg
val default : V.t Datatype.String.Map.t
end-> Parameter_sig.Map with type key = string and type value = V.t and type t = V.t Datatype.String.Map.t
Parameters:
V : Value_datatype with type key = string
X : sig include Input_with_arg val default: V.t Datatype.String.Map.t end

type key 
Type of keys of the map.
type value 
Type of the values associated to the keys.
include Parameter_sig.Collection

A map is a collection in which elements are pairs (key, value), but some values may be missing.

Additional accessors to the map.


val find : key -> value
Search a given key in the map.
Raises Not_found if there is no such key in the map.
val mem : key -> bool