H.Map
module type OrderedType = OrderedType
module type S = MAP
module Make (E : OrderedType) : MAP with type key = E.t