module Make_map:functor (
K
:
Parameter_sig.String_datatype_with_collections
) ->
functor (
V
:
Parameter_sig.Value_datatype
with type key = K.t
) ->
functor (
X
:
sig
include Parameter_sig.Input_with_arg
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
Parameters: |
|
type
key
type
value
include Parameter_sig.Collection
(key, value)
, but some
values may be missing.val find : key -> value
Not_found
if there is no such key in the map.val mem : key -> bool