module type Filepath_map =Map
with type key = Datatype.Filepath.t
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.
Not_found
if there is no such key in the map.val mem : key -> bool