Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISHostPath.Map

module Map: OASISUtils.MapExt.S  with type key = host_filename
Map for host filename. Not exported.

include Map.S
val add_list : 'a t -> (key * 'a) list -> 'a t
Extends a map with an association list.
val of_list : (key * 'a) list -> 'a t
Convert an association list to a map.
val to_list : 'a t -> (key * 'a) list
Convert a map to an association list.