Functor Utils.Map.Make
module Make : functor (Ord : OrderedType) ->
Swith type key = Ord.t
Parameters :
Ord | : | Utils.Map.OrderedType |
include Map.S
exception Not_found of key
val fromList : (key * 'a) list -> 'a t
val union_disjoint : 'a t list -> 'a t
val union_disjoint2 : 'a t -> 'a t -> 'a t