模組 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

給定一個完全排序的類型，此函子建構映射結構的實作。