Functor Parameter_sig.Builder.Filepath_map

module Filepath_map: functor (V : Parameter_sig.Value_datatype  with type key = Fc_Filepath.Normalized.t) -> functor (X : sig

include Parameter_sig.Input_with_arg

val default : V.t Datatype.Filepath.Map.t

val existence : Fc_Filepath.existence

val file_kind : string

end) -> Parameter_sig.Map 
    with type key = Fc_Filepath.Normalized.t
     and type value = V.t
     and type t = V.t Datatype.Filepath.Map.t

Parameters:

`V`	:	`Value_datatype with type key = Fc_Filepath.Normalized.t`
`X`	:	`sig include Input_with_arg val default: V.t Datatype.Filepath.Map.t val existence: Fc_Filepath.existence val file_kind: string 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.

val find : key -> value

Search a given key in the map.

val mem : key -> bool