模块 Stdlib.Map

module Map: Map

module type OrderedType = sig .. end

函子 Map.Make 的输入签名。

module type S = sig .. end

函子 Map.Make 的输出签名。

module Make: functor (Ord : OrderedType) -> S  with type key = Ord.t

构建映射结构实现的函子，给定一个全序类型。