Module Prime_map

Amendment to the standard library Map structure.

module type OrderedType = Stdlib.Map.OrderedType
module type S = sig ... end
module Make : functor (K : OrderedType) -> S with type Make.key = K.t