module Make_multiple_map:functor (K:Parameter_sig.String_datatype_with_collections) ->functor (V:Parameter_sig.Multiple_value_datatypewith type key = K.t) ->functor (X:siginclude Parameter_sig.Input_collectionval default :V.t list K.Map.tend) ->Parameter_sig.Multiple_mapwith type key = K.t and type value = V.t and type t = V.t list K.Map.t
Parameter is a map where multibindings are allowed.
| Parameters: |
|
type key
type value
include Parameter_sig.Collection
val find : key -> value list
val mem : key -> bool