Functor Utils.Map.Make

module Make: 
functor (Ord : OrderedType-> S with type key = Ord.t
Parameters:
Ord : 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