Note:

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

Module OASISPlugin.MapPlugin

module MapPlugin: OASISUtils.MapExt.S  with type key = plugin_kind plugin

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.