Module Prelude.Map

Map.Make (M) is the module returned by OCaml's Map.Make (M) with some additional functions.

module type S = sig ... end

Output signature of the functor Make

module Make (Ord : OrderedType) : sig ... end
module Specialize (K : TOSTRING) (V : TOSTRING) : sig ... end

Functor building an implementation of a "specialized", non-polymorphic map from K.t to V.t.