Functor Parameter_sig.Builder.Make_map

module Make_map: functor (K : Parameter_sig.String_datatype_with_collections) -> functor (V : Parameter_sig.Value_datatype  with type key = K.t) -> functor (X : siginclude Parameter_sig.Input_collection

val default : V.t K.Map.t
end) -> Parameter_sig.Map 
    with type key = K.t and type value = V.t and type t = V.t K.Map.t

Parameter is a map where multibindings are **not** allowed.

Parameters:

`K`	:	`Parameter_sig.String_datatype_with_collections`
`V`	:	`Value_datatype with type key = K.t`
`X`	:	`sig include Input_collection val default: V.t K.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